![Benedikt Ahrens](https://popl24.sigplan.org/getProfileImage/benediktahrens1/ac9628ba-f336-4910-ab81-38f74740be64/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
POPL 2024-profile
View general profile
View general profile