conf.researchr.org / Benedikt Ahrens
![Benedikt Ahrens](https://conf.researchr.org/getProfileImage/benediktahrens1/945d28d8-18cc-4c1c-9a2f-cb739dd45f51/small.jpg?1711525337000)
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