共 50 条
- [5] Types Are Internal ∞-Groupoids 2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
- [9] Crossed module aspects of monodromy groupoids for topological internal groupoids THIRD INTERNATIONAL CONFERENCE OF MATHEMATICAL SCIENCES (ICMS 2019), 2019, 2183