A Formalized Hierarchy of Probabilistic System Types.

Authors :: Hölzl, Johannes
Lochbihler, Andreas
Traytel, Dmitriy
Source :: Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings; 2015, p203-220, 18p
Publication Year :: 2015

Language :: English
ISBNs :: 9783319221014
Database :: Complementary Index
Journal :: Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Publication Type :: Book
Accession number :: 110734319
Full Text :: https://doi.org/10.1007/978-3-319-22102-1_13