- A theory of type theories
EPSRC New Investigator Award
PI: Benedikt Ahrens
Collaborator: Paige Randall North
March 2020 – February 2022
£325,000
- The UniMath library for type theory and programming languages
Air Force Office of Scientific Research (AFOSR) 17RT0212
PI: Vladimir Voevodsky
CIs: Benedikt Ahrens, Lennart Beringer
2017-2018
US$170,000
This site is compiled with
nanoc.
Built from code written by Cyril Cohen.