placeholder image

Garner, Richard

Person

Positions

University of Cambridge

selected publications

academic article
- Types are weak ω -groupoids. Proceedings of The London Mathematical Society. 102:370-394. 2010

full name

Richard Garner

Publications in VIVO

Co-author Network