On the public citation graph
Semantics of higher-order probabilistic programs with conditioning
0 signed · 57 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-06725-6_10openalex-snapshot
Ordered normed tensor products
inferredcites →https://doi.org/10.1007/978-1-4020-5008-4openalex-snapshot
Multiscaling in molecular and continuum mechanics: interaction of time and size from macro to nano : application to biology, physics, material science, mechanics, structural and processing engineering
inferredcites →https://doi.org/10.1007/978-1-4471-3903-4openalex-snapshot
Introduction to Tensor Products of Banach Spaces
inferredcites →https://doi.org/10.1007/978-3-319-16898-2openalex-snapshot
Operator Theoretic Aspects of Ergodic Theory
inferredcites →https://doi.org/10.1007/978-3-642-60637-3openalex-snapshot
Introduction to Operator Theory in Riesz Spaces
inferredcites →https://doi.org/10.1007/978-3-662-03961-8openalex-snapshot
Infinite Dimensional Analysis: A Hitchhiker's Guide
inferredcites →https://doi.org/10.1007/978-3-662-54434-1_32openalex-snapshot
Commutative Semantics for Probabilistic Programming
inferredcites →https://doi.org/10.1007/bf01344164openalex-snapshot
Tensor products of Banach lattices
inferredcites →https://doi.org/10.1007/bfb0092872openalex-snapshot
A categorical approach to probability theory
inferredcites →https://doi.org/10.1016/0022-0000(81)90036-2openalex-snapshot
Semantics of probabilistic programs
inferredcites →https://doi.org/10.1016/b978-0-08-051581-6.50057-xopenalex-snapshot
Stochastic Relaxation, Gibbs Distributions, and the Bayesian Restoration of Images
inferredcites →https://doi.org/10.1016/j.entcs.2008.04.022openalex-snapshot
On a Fully Abstract Model for a Quantum Linear Functional Language
inferredcites →https://doi.org/10.1016/s0022-4049(98)00106-6openalex-snapshot
Nuclear and trace ideals in tensored ∗-categories
inferredcites →https://doi.org/10.1017/s0960129516000426openalex-snapshot
An explicit formula for the free exponential modality of linear logic
inferredcites →https://doi.org/10.1090/memo/0016openalex-snapshot
Produits tensoriels topologiques et espaces nucléaires
inferredcites →https://doi.org/10.1090/s0002-9947-1968-0222604-8openalex-snapshot
The Structure and Ideal Theory of the Predual of a Banach Lattice
inferredcites →https://doi.org/10.1109/lics.2017.8005137openalex-snapshot
A convenient category for higher-order probability theory
inferredcites →https://doi.org/10.1111/1467-9574.00056openalex-snapshot
Conditioning as disintegration
inferredcites →https://doi.org/10.1145/2537948openalex-snapshot
Approximating Markov Processes by Averaging
inferredcites →https://doi.org/10.1145/2603088.2603153openalex-snapshot
Eilenberg-MacLane spaces in homotopy type theory
inferredcites →https://doi.org/10.1145/3158148openalex-snapshot
Denotational validation of higher-order Bayesian inference
inferredcites →https://doi.org/10.2307/2373758openalex-snapshot
Tensor Products of Archimedean Vector Lattices
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_14openalex-snapshot
Continualization of Probabilistic Programs With Correction
inferred← citeshttps://doi.org/10.1007/978-3-030-55089-9_3openalex-snapshot
Weakest Preexpectation Semantics for Bayesian Inference
inferred← citeshttps://doi.org/10.1007/978-3-030-57201-3_6openalex-snapshot
De Finetti’s Construction as a Categorical Limit
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_19openalex-snapshot
Bayesian strategies: probabilistic programs as generalised graphical models
inferred← citeshttps://doi.org/10.1007/978-3-030-81688-9_29openalex-snapshot
Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations
inferred← citeshttps://doi.org/10.1007/978-3-031-30044-8_18openalex-snapshot
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing
inferred← citeshttps://doi.org/10.1007/978-3-031-30829-1_5openalex-snapshot
A Higher-Order Language for Markov Kernels and Linear Operators
inferred← citeshttps://doi.org/10.1007/978-3-031-70396-6_2openalex-snapshot
Data Petri Nets Meet Probabilistic Programming
inferred← citeshttps://doi.org/10.1007/s10626-023-00375-xopenalex-snapshot
Mixed Nondeterministic-Probabilistic Automata
inferred← citeshttps://doi.org/10.1007/s11225-024-10165-7openalex-snapshot
A Logic of Knowledge and Justifications, with an Application to Computational Trust
inferred← citeshttps://doi.org/10.1016/j.ijar.2024.109212openalex-snapshot
A possible worlds semantics for trustworthy non-deterministic computations
inferred← citeshttps://doi.org/10.1017/s0960129521000177openalex-snapshot
Linear logic in normed cones: probabilistic coherence spaces and beyond
inferred← citeshttps://doi.org/10.1093/logcom/exaf003openalex-snapshot
Checking trustworthiness of probabilistic computations in a typed natural deduction system
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470712openalex-snapshot
A Bunched Logic for Conditional Independence
inferred← citeshttps://doi.org/10.1109/lics56636.2023.10175773openalex-snapshot
Deterministic stream-sampling for probabilistic programming: semantics and verification
inferred← citeshttps://doi.org/10.1109/lics56636.2023.10175776openalex-snapshot
Evidential Decision Theory via Partial Markov Categories
inferred← citeshttps://doi.org/10.1109/lics65433.2025.00042openalex-snapshot
Random Variables, Conditional Independence and Categories of Abstract Sample Spaces
inferred← citeshttps://doi.org/10.1145/3373718.3394758openalex-snapshot
Cones as a model of intuitionistic linear logic
inferred← citeshttps://doi.org/10.1145/3434292openalex-snapshot
Probabilistic programming semantics for name generation
inferred← citeshttps://doi.org/10.1145/3434339openalex-snapshot
Paradoxes of probabilistic programming: and how to condition on events of measure zero with infinitesimal probabilities
inferred← citeshttps://doi.org/10.1145/3531130.3533370openalex-snapshot
Concrete categories and higher-order recursion
inferred← citeshttps://doi.org/10.1145/3704884openalex-snapshot
Modelling Recursion and Probabilistic Choice in Guarded Type Theory
inferred← citeshttps://doi.org/10.1145/3737889openalex-snapshot
Schedule Agnostic Semantics for Reactive Probabilistic Programming
inferred← citeshttps://doi.org/10.1145/3756907.3756927openalex-snapshot
An adequate while-language for stochastic hybrid computation
inferred← citeshttps://doi.org/10.1145/3776696openalex-snapshot
Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming
inferred← citeshttps://doi.org/10.4204/eptcs.351.7openalex-snapshot
Multinomial and Hypergeometric Distributions in Markov Categories
inferred← citeshttps://doi.org/10.4230/lipics.csl.2022.16openalex-snapshot
An Internal Language for Categories Enriched over Generalised Metric Spaces
inferred← citeshttps://doi.org/10.46298/entics.12299openalex-snapshot
A Complete V-Equational System for Graded lambda-Calculus
inferred← citeshttps://doi.org/10.46298/lmcs-19(4:31)2023openalex-snapshot
The syntactic side of autonomous categories enriched over generalised metric spaces
inferred← citeshttps://doi.org/10.48550/arxiv.2001.04284openalex-snapshot
On the linear structure of cones
inferred← citeshttps://doi.org/10.48550/arxiv.2008.00425openalex-snapshot
Concentration-Bound Analysis for Probabilistic Programs and Probabilistic Recurrence Relations
inferred← citeshttps://doi.org/10.48550/arxiv.2104.06016openalex-snapshot
Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.