daniel gratzer
1,500
reputation
1
13
22
assistant professor at Aarhus University. interested in (categorical & homotopical) type theory.