2 results
Nilpotent types and fracture squares in homotopy type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 5 / May 2020
- Published online by Cambridge University Press:
- 08 July 2020, pp. 511-544
-
- Article
- Export citation
Extension of Maps to Nilpotent Spaces
-
- Journal:
- Canadian Mathematical Bulletin / Volume 44 / Issue 3 / 01 September 2001
- Published online by Cambridge University Press:
- 20 November 2018, pp. 266-269
- Print publication:
- 01 September 2001
-
- Article
-
- You have access
- Export citation