Extended Abstracts Fall 2013
Subtitle: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations
Publisher: Birkhauser Verlag
Published: 2015
Language: eng
ISBN-13: 9783319212845
Subjects: Geometry