A Formalized Hierarchy of Probabilistic System Types

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-319-22102-1_13 ◽

2015 ◽

pp. 203-220 ◽

Cited By ~ 9

Author(s):

Johannes Hölzl ◽

Andreas Lochbihler ◽

Dmitriy Traytel

Download Full-text