4 results
The long exact sequence of homotopy n-groups
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 8 / September 2023
- Published online by Cambridge University Press:
- 07 September 2023, pp. 679-687
-
- Article
- Export citation
B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-9
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Modal descent
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 4 / April 2021
- Published online by Cambridge University Press:
- 26 October 2020, pp. 363-391
-
- Article
- Export citation
Sets in homotopy type theory†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 30 January 2015, pp. 1172-1202
-
- Article
-
- You have access
- Export citation