A Type Theory for Probabilistic and Bayesian Reasoning
Publication year
2018Publisher
Schloss Dagstuhl : Dagstuhl Publishing
ISBN
9783959770309
In
Leibniz International Proceedings in Informatics, (2018)Uustalu, T. (ed.), TYPES 2015: 21st International Conference on Types for Proofs and Programs, pp. 1:1-1:34ISSN
Annotation
TYPES 2015: 21st International Conference on Types for Proofs and Programs
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Uustalu, T.
Organization
Digital Security
Security of Systems
Journal title
Leibniz International Proceedings in Informatics
Book title
Uustalu, T. (ed.), TYPES 2015: 21st International Conference on Types for Proofs and Programs
Page start
p. 1:1
Page end
p. 1:34
Subject
Digital SecurityThis item appears in the following Collection(s)
- Academic publications [203608]
- Electronic publications [101944]
- Faculty of Science [32102]
- Open Access publications [70663]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.