EasyChair Smart SlideDocs/Log in
Author: Sam Speight

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

Groupoidal Realizability: Formalizing the Topological BHK Interpretation

Groupoidal Realizability: Formalizing the Topological BHK Interpretation

Sam Speight

Impredicative Encodings of (Higher) Inductive Types

Impredicative Encodings of (Higher) Inductive Types

Steve Awodey, Jonas Frey and Sam Speight

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