Skip to main content
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 12 years, 5 months
  • Last seen more than 10 years ago
Stats
1,023
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.
5
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.