Type Theory Foundations, Lecture 2

Type Theory Foundations, Lecture 3

"A Little Taste of Dependent Types" by David Christiansen

Proof Theory Foundations, Lecture 1

Type Theory Foundations, Lecture 1

Overview of Univalent Foundations - Vladimir Voevodsky

Category Theory Foundations, Lecture 3

Types for Program Modules - Robert Harper

Category Theory Foundations, Lecture 1

Computational Type Theory [1/5] - Robert Harper - OPLSS 2018

Как пересобрать математику? Стрелки вместо элементов.

Category Theory Foundations, Lecture 2

Будущее Украины и роль Запада | Ростислав Ищенко

A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)

Practical Foundations for Programming Languages [1/4] - Robert Harper - OPLSS 2019

Notes on Type Theory for beginners

БИБЛИЯ: а что там было на самом деле? Разговор без "священной цензуры". Андрей ДЕСНИЦКИЙ.

How I became interested in foundations of mathematics

Category Theory by Tom LaGatta

A Crash Course in Category Theory - Bartosz Milewski

Разведчик о том, как использовать людей