共 50 条
- [47] Eilenberg–Maclane spaces and stabilisation in homotopy type theory Journal of Homotopy and Related Structures, 2023, 18 : 357 - 368
- [49] CLASSIFYING-SPACES, CLASSIFYING TOPOI AND AUGMENTED ORDERS COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1993, 317 (03): : 293 - 298