Introduction to Cubical Type Theory (Part I)
Channel: Favonia
Date: 25/03/2020

CSCI 8980 Higher-Dimensional Type Theory
https://favonia.org/courses/hdtt2020/