daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 12 years, 2 months
  • Last seen more than 1 year ago
Stats
1,023
reputation
73k
reached
4
answers
1
question
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.
8
silver badges
12
bronze badges
Top tags
75
Score
4
Posts
80
Posts %
30
Score
1
Posts
20
Posts %
30
Score
1
Posts
20
Posts %
2
Score
1
Posts
20
Posts %
2
Score
1
Posts
20
Posts %
2
Score
1
Posts
20
Posts %
Top posts