Fulltext present in this item

Thumbnail
Fulltext: 191731.pdf
Format: PDF
Description: publisher's version
Title: A Type Theory for Probabilistic and Bayesian Reasoning
Author(s): Adams, R.; Jacobs, B.
Publication year: 2018
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:34
Publisher: Schloss Dagstuhl : Dagstuhl Publishing
ISBN: 9783959770309
ISSN: 1868-8969
DOI: https://doi.org/10.4230/LIPIcs.TYPES.2015.1
Annotation: TYPES 2015: 21st International Conference on Types for Proofs and Programs
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/191731   http://hdl.handle.net/2066/191731

Display more details
Editor(s): Uustalu, T.
Subject: Digital Security
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

This item appears in the following Collection(s)

Browse

Statistics