26,942
reputation
9
1

Andrej Bauer
Loading…

I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, type theory, homotopy type theory, and semantics of programming languages.