daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 8 years, 2 months
  • Last seen this week
Stats
583
reputation
2k
reached
7
answers
3
questions
Loading…
About

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

1
gold badge
3
silver badges
13
bronze badges
13
Score
6
Posts
60
Posts %
13
Score
5
Posts
50
Posts %
12
Score
3
Posts
30
Posts %
10
Score
6
Posts
60
Posts %
10
Score
1
Posts
10
Posts %
10
Score
1
Posts
10
Posts %