Stack Exchange
Software Engineering Stack Exchange
Questions
Tags
Users
About
Software Engineering Stack Exchange
Public
Questions
Tags
Users
About
daniel gratzer
11,678
reputation
3
46
51
Denmark
Member since
January 22 2012
824 profile views
Last seen
Feb 22 '23 at 08:21
phd student in (categorical) type theory. Interested in higher categories and modal type theory.