EasyChair Smart SlideUser guide
Author: Jakob von Raumer

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

Path Spaces of Higher Inductive Types in Homotopy Type Theory

Path Spaces of Higher Inductive Types in Homotopy Type Theory

Nicolai Kraus and Jakob von Raumer

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