daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 8 years, 7 months
  • Last seen more than a month ago
Stats
708
reputation
0
reached
0
answers
0
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
2
bronze badges
Posts

This user hasn’t posted yet.