Synthetic topology in Homotopy Type Theory for probabilistic programming.
In: Mathematical Structures in Computer Science, Jg. 31 (2021-11-01), Heft 10, S. 1301-1329
Online
academicJournal
Zugriff:
Titel: |
Synthetic topology in Homotopy Type Theory for probabilistic programming.
|
---|---|
Autor/in / Beteiligte Person: | Bidlingmaier, Martin E. ; Faissole, Florian ; Spitters, Bas |
Link: | |
Zeitschrift: | Mathematical Structures in Computer Science, Jg. 31 (2021-11-01), Heft 10, S. 1301-1329 |
Veröffentlichung: | 2021 |
Medientyp: | academicJournal |
ISSN: | 0960-1295 (print) |
DOI: | 10.1017/S0960129521000165 |
Sonstiges: |
|