SpringerLink (Online service), González, M. d. M., Yang, P. C., Gambino, N., & Kock, J. (2015). Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations. Springer International Publishing : Imprint: Birkhäuser.
Chicago Style (17th ed.) CitationSpringerLink (Online service), Maria del Mar González, Paul C. Yang, Nicola Gambino, and Joachim Kock. Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations. Cham: Springer International Publishing : Imprint: Birkhäuser, 2015.
MLA (8th ed.) CitationSpringerLink (Online service), et al. Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations. Springer International Publishing : Imprint: Birkhäuser, 2015.