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
POPL 2025-profile
View general profile
View general profile