EasyChair Smart SlideDocs/Log in
Author: Nicolai Kraus

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

Free Higher Groups in Homotopy Type Theory

Free Higher Groups in Homotopy Type Theory

Nicolai Kraus and Thorsten Altenkirch

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