Martin E. Bidlingmaier

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Top Venues

Math. Struct. Comput. Sci.

Publications

Martin E. Bidlingmaier
An Evaluation Algorithm for Datalog with Equality. CoRR (2023)
Martin E. Bidlingmaier
Algebraic Semantics of Datalog with Equality. CoRR (2023)
Martin E. Bidlingmaier
An interpretation of dependent type theory in a model category of locally cartesian closed categories. Math. Struct. Comput. Sci. 31 (5) (2021)
Martin E. Bidlingmaier, Florian Faissole, Bas Spitters
Synthetic topology in Homotopy Type Theory for probabilistic programming. Math. Struct. Comput. Sci. 31 (10) (2021)
Martin E. Bidlingmaier
An interpretation of dependent type theory in a model category of locally cartesian closed categories. CoRR (2020)
Martin E. Bidlingmaier, Florian Faissole, Bas Spitters
Synthetic topology in Homotopy Type Theory for probabilistic programming. CoRR (2019)