Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations
- Author
- M. del Mar González, P. C. Yang, N. Gambino, J. Kock (eds.)
- Publisher
- Birkhaüser
- Language
- English
- Year
- 2015
- Page
- vi, 110
- ISBN
- 978-3-319-21283-8, 978-3-319-21284-5
- File Type
- pdf
- File Size
- 1.4 MiB
How to Download?!!!
Just click on START button on Telegram Bot