37467

4372018

Maria del Mar Gonzalez

Extended Abstracts Fall 2013 - Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations

Birkhauser

2015

9783319212838