Tricki
a repository of mathematical know-how

AndrejBauer

Personal information

Name
Andrej Bauer
Homepage
http://andrej.com/
About you

I am a mathematician at the Faculty of mathematics and physics, University of Ljubljana, Slovenia. I work in logic, constructive mathematics, a bit of category theory, theory of programming languages, and computable topology and analysis.

History

Member for
10 years 27 weeks