Report copyright - Introduction to Homotopy Type Theory - Lecture 1: Type ... · into abstract homotopy theory. Consequence: can prove results in homotopy theorysynthetically using Type Theory, extended
Please pass captcha verification before submit form