An interpretation of dependent type theory in a model category of locally cartesian closed categories. - Martin E. Bidlingmaier (Math. Struct. Comput. Sci., 2021)

Synthetic topology in Homotopy Type Theory for probabilistic programming. - Martin E. Bidlingmaier; Florian Faissole; Bas Spitters (Math. Struct. Comput. Sci., 2021)

Algebraic Semantics of Datalog with Equality. - Martin E. Bidlingmaier (CoRR, 2023)

An Evaluation Algorithm for Datalog with Equality. - Martin E. Bidlingmaier (CoRR, 2023)