Andrej Bauer
  • Member for 7 years, 11 months
  • Last seen more than a week ago
Stats
1,985
reputation
4k
reached
3
answers
2
questions
Loading…
About
I am a professional mathematician. My area of research is logic, constructive and computable mathematics, category theory, and semantics of programming languages.
This user doesn’t have any gold badges yet.
9
silver badges
11
bronze badges
Top tags
39
Score
5
Posts
100
Posts %
31
Score
3
Posts
60
Posts %
24
Score
1
Posts
20
Posts %
8
Score
1
Posts
20
Posts %
8
Score
1
Posts
20
Posts %
8
Score
1
Posts
20
Posts %