A Type Theory for Probabilistic and Bayesian Reasoning
From MaRDI portal
Publication:4580222
DOI10.4230/LIPIcs.TYPES.2015.1zbMath1433.68264arXiv1511.09230OpenAlexW2963712756MaRDI QIDQ4580222
Publication date: 13 August 2018
Full work available at URL: https://arxiv.org/abs/1511.09230
Bayesian inference (62F15) Learning and adaptive systems in artificial intelligence (68T05) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (2)
Universal Properties in Quantum Theory ⋮ Typing with Leftovers - A mechanization of Intuitionistic Multiplicative-Additive Linear Logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semantic domains for combining probability and non-determinism
- A probabilistic PDL
- Semantics of probabilistic programs
- From probability monads to commutative effectuses
- A predicate/state transformer semantics for Bayesian learning
- Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs
- States of Convex Sets
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Semantics for probabilistic programming
- Reasoning about Recursive Probabilistic Programs
- Total and Partial Computation in Categorical Quantum Foundations
- Measurable Spaces and Their Effect Logic
- A Bayesian approach to compatibility, improvement, and pooling of quantum states
- Measure Transformer Semantics for Bayesian Machine Learning
- An effect-theoretic account of Lebesgue integration
This page was built for publication: A Type Theory for Probabilistic and Bayesian Reasoning