Kan Operations of Types in Cubical Type Theory
Channel: Favonia
Date: 2020-04-08

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