Extended Abstracts Fall 2013 Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations - González, Maria del Mar; Yang, Paul C.; Gambino, Nicola; Kock, Joachim (Springer International Publishing : Imprint: Birkhäuser, 2015)