Synthetic Tait Computability for Simplicial Type Theory - Jonathan Weinberger

Synthetic Tait Computability for Simplicial Type Theory - Jonathan Weinberger

Ulrik Buchholtz, (Co)cartesian families in simplicial type theorySee more

Ulrik Buchholtz, (Co)cartesian families in simplicial type theory

Jonathan Weinberger, Synthetic fibered (∞,1)-category theorySee more

Jonathan Weinberger, Synthetic fibered (∞,1)-category theory

Jonathan Weinberger: A Type Theory for (∞,1)-CategoriesSee more

Jonathan Weinberger: A Type Theory for (∞,1)-Categories

Kan Simplicial Set Model of Type Theory - Peter LeFanu LumsdaineSee more

Kan Simplicial Set Model of Type Theory - Peter LeFanu Lumsdaine

Jonathan Weinberger: Dialectica Constructions and LensesSee more

Jonathan Weinberger: Dialectica Constructions and Lenses

Simple Mechanisms for a (Sub)Additive BuyerSee more

Simple Mechanisms for a (Sub)Additive Buyer

First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type TheorySee more

First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type Theory

Peter Lumsdaine, Inverse diagram models of type theorySee more

Peter Lumsdaine, Inverse diagram models of type theory

Simplicial Types - Peter LumsdaineSee more

Simplicial Types - Peter Lumsdaine

Introductory Lectures on Type Theory (4 : Coinductive types, Dependent types)See more

Introductory Lectures on Type Theory (4 : Coinductive types, Dependent types)

Thorsten's Inaugural lectureSee more

Thorsten's Inaugural lecture

Bas Spitters: Synthetic topology in Homotopy Type Theory for probabilistic programmingSee more

Bas Spitters: Synthetic topology in Homotopy Type Theory for probabilistic programming

Jon Sterling, Objective metatheory of dependent type theoriesSee more

Jon Sterling, Objective metatheory of dependent type theories

Testing Oddness - Georgia Tech - Computability, Complexity, Theory: ComputabilitySee more

Testing Oddness - Georgia Tech - Computability, Complexity, Theory: Computability

Actual