The geometry of Bayesian programming
From MaRDI portal
Publication:5076392
DOI10.1017/S0960129521000396zbMath1495.68035arXiv1904.07425MaRDI QIDQ5076392
Publication date: 17 May 2022
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1904.07425
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Linear logic
- Notions of computation and monads
- Probabilistic algorithm for testing primality
- Riemann's hypothesis and tests for primality
- Glueing and orthogonality for models of linear logic
- PRIMES is in P
- On full abstraction for PCF: I, II and III
- Full abstraction for PCF
- Causal inference by string diagram surgery
- Memoryful geometry of Interaction II: recursion and adequacy
- A lambda-calculus foundation for universal probabilistic programming
- Probabilistic Termination by Monadic Affine Sized Typing
- Commutative Semantics for Probabilistic Programming
- A Survey of Graphical Languages for Monoidal Categories
- Full Abstraction for Probabilistic PCF
- Memoryful geometry of interaction
- Geometry of Interaction and linear combinatory algebras
- Traced monoidal categories
- A Convenient Category for Higher-Order Probability Theory
- The concurrent game semantics of Probabilistic PCF
- Equation of State Calculations by Fast Computing Machines
- The geometry of parallelism: classical, probabilistic, and quantum effects
- On coinductive equivalences for higher-order probabilistic functional programs
- On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
- Monte Carlo sampling methods using Markov chains and their applications
- Probabilistic game semantics
This page was built for publication: The geometry of Bayesian programming
