nLab Sam Speight

Samuel Speight

• personal page

• github page

• institute page

• institute page

• MathGenealogy page

• GoogleScholar page

 Talks

On intensional type theory:

• Sam Speight, Higher-Dimensional Realizability for Intensional Type Theory, Strength of Weak Type Theory, DutchCATS (11 May 2023) [slides]

On impredicativity in linear dependent type theory:

• Sam Speight, Niels van der Weide, Impredicativity in Linear Dependent Type Theory [arXiv:2602.08846]

category: people