Skip to main content
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 12 years, 7 months
  • Last seen this week
Stats
458
reputation
4k
reached
6
answers
5
questions
Loading…
About

phd student in (categorical) type theory. Interested in higher categories and modal type theory.

This user doesn’t have any gold badges yet.
3
silver badges
10
bronze badges
8
Score
2
Posts
18
Posts %
8
Score
2
Posts
18
Posts %
4
Score
2
Posts
18
Posts %
4
Score
2
Posts
18
Posts %
4
Score
1
Posts
9
Posts %
4
Score
1
Posts
9
Posts %
Top posts
View all questions and answers