publication venue for
- Delooping the functor calculus tower. 124:772-853. 2022
- Types are weak ω -groupoids. 102:370-394. 2010
Proceedings of The London Mathematical Society
Journal
Overview
Identity
International Standard Serial Number (ISSN)
- 1460-244X