This page shows all presentations of this author published in EasyChair Smart Slide.
Path Spaces of Higher Inductive Types in Homotopy Type Theory
Nicolai Kraus and Jakob von Raumer
Free Higher Groups in Homotopy Type Theory
Nicolai Kraus and Thorsten Altenkirch