Report copyright - Higher Dimensional Type Theory - GitHub Pages · In Section 2, we give very short introductions to type theory with identity types, homotopy theory, higher dimensional category theory
Please pass captcha verification before submit form