Name:Benedikt Ahrens

Country:Netherlands

Affiliation:Delft University of Technology

Research interests:type theory, category theory, computer-checked proofs, functional programming