共 50 条
- [42] Path Spaces of Higher Inductive Types in Homotopy Type Theory 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,
- [43] Fixed points on ordered metric spaces with applications in homotopy theory Journal of Fixed Point Theory and Applications, 2018, 20
- [50] Galois Theory and a New Homotopy Double Groupoid of a Map of Spaces Applied Categorical Structures, 2004, 12 : 63 - 80