Extended Abstracts Fall 2013
Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations
Trends in Mathematics
Herausgegeben von del Mar Gonzá
lez, Maria
Yang, Paul C.
- 出版社：Springer, Berlin; Springer International Publishing
- 出版年月：2015年 00月
- ISBN：9783319212838
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2015. 2015. vi