Extended Abstracts Fall 2013
Subtitle: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations
Publisher: Birkhäuser
Published: Dec 14, 2015
Format: paperback
Number of pages: 120
ISBN-13: 9783319212838
Notes: Source title: Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations (Trends in Mathematics)