A Type Theory for Probabilistic and Bayesian Reasoning

DOI10.4230/LIPIcs.TYPES.2015.1zbMath1433.68264arXiv1511.09230OpenAlexW2963712756MaRDI QIDQ4580222

Robin Adams, Bart Jacobs

Publication date: 13 August 2018

Full work available at URL: https://arxiv.org/abs/1511.09230

zbMATH Keywords

probabilistic algorithmtype theoryprobabilistic programmingBayesian reasoningeffect module

Mathematics Subject Classification ID

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

• QPEL

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