EasyChair Smart SlideHelp/Log in
Author: Robert Harper

This page shows all presentations of this author published in EasyChair Smart Slide.

Guarded Computational Type Theory

Guarded Computational Type Theory

Jonathan Sterling and Robert Harper

Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities

Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities

Carlo Angiuli, Kuen-Bang Hou Favonia and Robert Harper

Presentations in this collection: 2
Copyright © 2002 – 2022 EasyChair