This page shows all presentations of this author published in EasyChair Smart Slide.
Groupoidal Realizability: Formalizing the Topological BHK Interpretation
Sam Speight
Impredicative Encodings of (Higher) Inductive Types
Steve Awodey, Jonas Frey and Sam Speight