Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory And Univalent Foundations
by Maria Del Mar González /
2015 / English / PDF
1.4 MB Download