Trickia 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
- 11 years 20 weeks

5 years 10 weeksago5 years 19 weeksago5 years 20 weeksago5 years 49 weeksago6 years 17 weeksago