Martin E. Bidlingmaier
I'm a software engineer at Google.
This page is about my former life in academia, where I completed a PhD under the supervision of Bas Spitters in the Logic and Semantics Group at Aarhus University.
My research was about dependent type theory, categorical semantics and other sophistry.
Research
-
An Evaluation Algorithm for Datalog with Equality. Preprint, 2023.
[Web]
[arXiv]
-
Algebraic Semantics of Datalog with Equality. Preprint, 2023.
[Web]
[arXiv]
-
Probabilistic Programming and Multiverse Models of Type Theory. PhD Thesis, Aarhus University, 2022.
[PDF]
-
An interpretation of dependent type theory in a model category of locally cartesian closed categories.
Published in Mathematical Structures in Computer Science, 2021.
[Web]
[arXiv]
Some related material:
-
Synthetic topology in Homotopy Type Theory for probabilistic programming.
With Bas Spitters and Florian Faissole.
Published in Mathematical Structures in Computer Science, 2021.
[arXiv]