EasyChair Smart SlideDocs/Log in
Author: Egbert Rijke

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

Higher Groups in Homotopy Type Theory

Higher Groups in Homotopy Type Theory

Ulrik Buchholtz, Floris van Doorn and Egbert Rijke

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