EasyChair Smart SlideDocs/Log in
Author: Simon Huber

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

On Higher Inductive Types in Cubical Type Theory

On Higher Inductive Types in Cubical Type Theory

Thierry Coquand, Simon Huber and Anders Mörtberg

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair