EasyChair Smart SlideDocs/Log in
Author: Samuel Mimram

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

Division by Two, in Homotopy Type Theory

Division by Two, in Homotopy Type Theory

Samuel Mimram and Émile Oleon

Coherence of Gray categories via rewriting

Coherence of Gray categories via rewriting

Simon Forest and Samuel Mimram

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