article
وصول مفتوح
A Type Theory for Probabilistic and Bayesian Reasoning
Research footprint
At a glance
- الاستشهادات
- 0
- المراجع
- 0
- Comments
- 0
Paper overview
Abstract
Contains fulltext : 191731.pdf (Publisher’s version ) (Open Access)
Record transparency
Publication details
- DOI
- 10.4230/lipics.types.2015.1
- OpenAlex
- W2898364718
- Document type
- article
- Language
- EN
- Source
- DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
- Last metadata update
Comments
تسجيل الدخول للانضمام إلى النقاش.