共 50 条
- [44] On Homotopy of Walks and Spherical Maps in Homotopy Type Theory PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 338 - 351
- [45] Axiomatic stable homotopy - a survey AXIOMATIC, ENRICHED AND MOTIVIC HOMOTOPY THEORY, 2004, 131 : 69 - 98
- [47] ANALYTICAL HOMOTOPY-THEORY - RIGIDITY OF THE HOMOTOPY INTEGRALS DOKLADY AKADEMII NAUK SSSR, 1985, 283 (05): : 1088 - 1091