Registered user since Sun 28 Nov 2021
Name:Benedikt Ahrens
Country:Netherlands
Affiliation:Delft University of Technology
Research interests:type theory, category theory, computer-checked proofs, functional programming
Contributions
Using general profile