Martin E. Bidlingmaier

From MaRDI portal

Revision as of 12:32, 14 March 2024 by Import240314110308 (talk | contribs) (Created automatically from import240314110308)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:5055498

Jump to:navigation, search

Available identifiers

zbMath Open bidlingmaier.martin-eMaRDI QIDQ5055498

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Synthetic topology in Homotopy Type Theory for probabilistic programming	2022-12-09	Paper
An interpretation of dependent type theory in a model category of locally cartesian closed categories	2022-05-17	Paper

Research outcomes over time

This page was built for person: Martin E. Bidlingmaier

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:5055498&oldid=30943550"