A Type Theory for Probabilistic and Bayesian Reasoning

From MaRDI portal
Publication:4580222

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




Related Items (2)


Uses Software


Cites Work


This page was built for publication: A Type Theory for Probabilistic and Bayesian Reasoning