共 50 条
- [22] STABLE HOMOTOPY TYPES OF STUNTED COMPLEX PROJECTIVE SPACES PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1973, 73 : 431 - 438
- [24] REALIZING COMMUTATIVE DIAGRAMS OF ABELIAN GROUPS BY CORRESPONDING HOMOTOPY COMMUTATIVE DIAGRAMS OF MOORE SPACES - PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (01): : 222 - &
- [26] Topologies on sets of polynomial knots and the homotopy types of the respective spaces PROCEEDINGS OF THE INDIAN ACADEMY OF SCIENCES-MATHEMATICAL SCIENCES, 2021, 131 (01):
- [27] Topologies on sets of polynomial knots and the homotopy types of the respective spaces Proceedings - Mathematical Sciences, 2021, 131
- [28] Path Spaces of Higher Inductive Types in Homotopy Type Theory 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,