EasyChair Smart SlideUser guide
Author: Kuen-Bang Hou Favonia

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

Cellular Cohomology in Homotopy Type Theory

Cellular Cohomology in Homotopy Type Theory

Ulrik Buchholtz and Kuen-Bang Hou Favonia

Invited talk: Cubical Computational Type Theory and RedPRL

Invited talk: Cubical Computational Type Theory and RedPRL

Kuen-Bang Hou Favonia

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: 3
Copyright © 2002 – 2026 EasyChair