Report copyright - A naive view of Homotopy Type Theory and its relation to the … · 2014. 7. 10. · 2014 1/22. Overview I Conjunction between type theory and homotopy theory I Intensional type theory
Please pass captcha verification before submit form