Report copyright - Mathematical and Computational Applications of Homotopy ...drl/tmp/iowa.pdfApplications of Homotopy Type Theory Dan Licata Wesleyan University Department of Mathematics and Computer
Please pass captcha verification before submit form