共 50 条
- [31] RELATIVE DIRECTED HOMOTOPY THEORY OF PARTIALLY ORDERED SPACES JOURNAL OF HOMOTOPY AND RELATED STRUCTURES, 2006, 1 (01): : 79 - 100
- [32] Eilenberg–Maclane spaces and stabilisation in homotopy type theory Journal of Homotopy and Related Structures, 2023, 18 : 357 - 368
- [36] ALGEBRAIC K-THEORY OF SPACES, CONCORDANCE, AND STABLE-HOMOTOPY THEORY ANNALS OF MATHEMATICS STUDIES, 1987, (113): : 392 - 417
- [37] Delooping cyclic groups with lens spaces in homotopy type theory PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,