Homotopy Type Theory and Algebraic Model Structures (I) Nicola Gambino School of Mathematics University of Leeds

First Page		Document Content
Date: 2016-12-12 10:03:11		Homotopy Type Theory and Algebraic Model Structures (I) Nicola Gambino School of Mathematics University of Leeds Add to Reading List Source URL: www1.maths.leeds.ac.uk Download Document from Source Website File Size: 1,04 MB Share Document on Facebook