EasyChair Smart SlideUser guide
Author: Ulrik Buchholtz

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

Higher Groups in Homotopy Type Theory

Higher Groups in Homotopy Type Theory

Ulrik Buchholtz, Floris van Doorn and Egbert Rijke

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