ISBN 9783319212838 books & textbook
Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations (Trends in Mathematics)
González, Maria del Mar Yang, Paul C. Gambino, Nicola Kock, Joachim
Birkhäuser /2015-11-13 Paperback / 116 Pages
isbn-10: 3319212834 / isbn-13: 9783319212838
