Andrej Bauer
Stats
2,624
reputation
0
reached
0
answers
0
questions
Loading…
About

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.