Projects per year
Projects
- 1 Finished
Search results
-
A theory of type theories
Engineering & Physical Science Research Council
1/03/20 → 31/08/22
Project: Research Councils
Benedikt Ahrens, Paige Randall North, Niels Van Der Weide
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Engineering & Physical Science Research Council
1/03/20 → 31/08/22
Project: Research Councils