This page shows all presentations of this author published in EasyChair Smart Slide.
Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities
Carlo Angiuli, Kuen-Bang Hou Favonia and Robert Harper