2 results
Approximate and discrete Euclidean vector bundles
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 11 / 2023
- Published online by Cambridge University Press:
- 21 March 2023, e20
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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