Martin Bidlingmaier

I'm PhD student under the supervision of Bas Spitters in the Logic and Semantics Group at Aarhus University. I'm interested in dependent type theory, categorical semantics and other sophistry.

Research