"eBook ISBN","Title","Subtitle","Authors/editors","Copyright year","Edition","DOI","Price (EUR)","Additional info"
"978-3-319-21284-5","Extended Abstracts Fall 2013","Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations","Maria del Mar González; Paul C. Yang; Nicola Gambino; Joachim Kock",2015,"1","https://doi.org/10.1007/978-3-319-21284-5",140,""