Projects per year
Projects
- 1 Finished
Search results
-
Finished
Reverse Mathematics in Dependent Type Theory
Adams, R. (PI)
Eng & Phys Sci Res Council EPSRC
16/10/06 → 15/09/09
Project: Research