Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations (Trends in Mathematics)

Mathematics

von: Maria del Mar González · Paul C. Yang · Nicola Gambino · Joachim Kock

Taschenbuch

ISBN-13: 978-3-319-21283-8

ISBN-10: 3-319-21283-4

Birkhäuser · 2015