ICFP/SPLASH 2025 (series) / Daniel Gratzer
Registered user since Thu 8 Sep 2016
Name:Daniel Gratzer
Bio:
I am interested in type theory as it relates to mathematics and computer science.
Country:Denmark
Affiliation:Aarhus University
Personal website: https://danielgratzer.com
Research interests:Type Theory, Semantics, Program Logics
Contributions
Using general profile