Mathematics

daniel gratzer
1,092
reputation
  • Denmark
  • Member since September 26 2011
  • 201 profile views
  • Last seen Jan 04 '26 at 12:22

assistant professor at Aarhus University. interested in (categorical & homotopical) type theory.