Type Theory Foundations 1.1 — Robert Harper
Category theory foundations 1.1 — Steve Awodey
A Taste of Type Theory • Bartosz Milewski • YOW! 2019
Category Theory 1.1: Motivation and Philosophy
Type Theory Foundations, Lecture 2
Type Theory Foundations, Lecture 3
Foundations of Higher Category Theory (HTT 1.1)
Homotopy Type Theory: what can logic do for homotopy theory? - Peter Lumsdaine
David Jaz Myers: Homotopy type theory for doing category theory
Type Theory Foundations 1.0 — Robert Harper
Foundations 8: Formal Type Theory and Homotopy Type Theory and Idris
Type Theory Foundations 3.1 — Robert Harper
André Joyal --- Homotopy type theory: a new bridge between logic, category theory and topology.b
Homotopy type theory: working invariantly in homotopy theory -Guillaume Brunerie
Univalent Foundations: New Foundations of Mathematics - Vladimir Voevodsky
Type Theory Foundations 2.0 — Robert Harper
Software Foundations in Coq — Steve Zdancewic 1.1
Software foundations in Coq 1.1 - Benjamin Pierce
Type Theory Foundations, Lecture 5
🇬🇧 chapter 1.1 - 1.5 @ type theory and formal proof: an introduction @ abstract nights | 21.06.2024