Projects per year
Projects
- 1 Finished
Search results
-
Finished
A theory of type theories
Engineering & Physical Science Research Council
1/03/20 → 31/08/22
Project: Research Councils
Benedikt Ahrens*, Jacopo Emmenegger, Paige Randall North, Egbert Rijke
Research output: Contribution to journal › Article › peer-review
Engineering & Physical Science Research Council
1/03/20 → 31/08/22
Project: Research Councils