6 - Homotopy Type Theory: The Logic of Space
from Part II - Topology and Algebraic Topology
Published online by Cambridge University Press: 22 March 2021
- Type
- Chapter
- Information
- New Spaces in MathematicsFormal and Conceptual Reflections, pp. 322 - 404Publisher: Cambridge University PressPrint publication year: 2021
- 5
- Cited by