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