daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 12 years, 1 month
  • Last seen more than a week ago
Stats
1,480
reputation
41k
reached
9
answers
4
questions
Loading…
About

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

1
gold badge
13
silver badges
22
bronze badges
31
Score
5
Posts
38
Posts %
27
Score
4
Posts
31
Posts %
20
Score
3
Posts
23
Posts %
16
Score
4
Posts
31
Posts %
12
Score
1
Posts
8
Posts %
11
Score
1
Posts
8
Posts %
Top posts
View all questions and answers