- 著者
- Park Sehie
- 出版者
- 京都大学数理解析研究所
- 雑誌
- 数理解析研究所講究録 (ISSN:18802818)
- 巻号頁・発行日
- vol.1643, pp.1-16, 2009-04
言及状況
Google+ (1 users, 1 posts)
Between Cohesive and Real-Cohesive HoTT? + Michael Shulman 's recent talk at the hott electronic seminar talks ( http://uwo.ca/math/faculty/kapulkin/seminars/hottest.html ) reminded me to write u ...