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

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

1
gold badge
4
silver badges
13
bronze badges
19
Score
5
Posts
42
Posts %
13
Score
7
Posts
58
Posts %
13
Score
5
Posts
42
Posts %
10
Score
7
Posts
58
Posts %
10
Score
1
Posts
8
Posts %
10
Score
1
Posts
8
Posts %
Top posts
View all questions and answers