Martin Hyland, Models for Type Theory - 16 aprile 2014
Martin Hyland: "Algebra & Diagrams in the Lambda Calculus"
Martin Escardó, Constructive mathematics in univalent type theory
Martin Hyland: "On distributive laws"
Dana Stewart Scott - Enumeration Operators, Probability, Type Theory
Natural Models of Type Theory - Steve Awodey
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory - Peter Dybjer
He Didn't Even Hesitate 😳 #shorts #comedy
Advancement Type Theory 2017
Mike Shulman: Conservativity of duals
Intuitionist versus Classical Natural Deduction
Joseph Abrahamson on "On the Meanings of the Logical Constants"
BCTCS 2015 Keynote Talk 2 - Per Martin-Löf (Stockholm University) - Part I
Lambda World 2019 - A categorical view of computational effects - Emily Riehl
Christine Tasson: The linear-non-linear substitution 2-monad
"War Time Proofs and Futuristic Programs" by Valeria de Paiva
What has mathematics to do with software engineering?
Per Martin-Löf
Martin Hyland Live Stream
Valeria de Paiva: "Categorical Explicit Substitutions"