1. Extended abstracts fall 2013 : geometrical analysis, type theory, homotopy theory and univalent foundations /: geometrical analysis, type theory, homotopy theory and univalent foundations. (2015) Editors: Del Mar González, Maria; Yang, Paul C; Gambino, Nicola, 1975-; Kock, Joachim, 1967- Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗