EasyChair Smart SlideDocs/Log in
Author: Jamie Vicary

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

A Type Theory for Strictly Unital Infinity-Categories

A Type Theory for Strictly Unital Infinity-Categories

Eric Finster, David Reutter, Alex Rice and Jamie Vicary

Designing Globular: formal proofs as geometrical objects (Invited Talk)

Designing Globular: formal proofs as geometrical objects (Invited Talk)

Jamie Vicary

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