The meta-theory of dependent type theories - Vladimir Voevodsky

Похожие видео

Mirror symmetry via Berkovich geometry I: overview - Tony Yue Yu

Воеводский - круглый стол - баня - религия

The mathematical work of Vladimir Voevodsky - Dan Grayson

Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)

Intensionality, Invariance, and Univalence, Steve Awodey

FOMUS 2016 all Talks (in chronological order)

The Hardest Problem in Type Theory - Computerphile

HoTTEST Summer School 2022

"A Little Taste of Dependent Types" by David Christiansen

Per Martin Löf: How did 'judgement' come to be a term of logic ?

How I became interested in foundations of mathematics

Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky

∞-Category Theory for Undergraduates

Jeremy Avigad: "Formal mathematics, dependent type theory, and the Topos Institute"

An Intuitive Introduction to Motivic Homotopy Theory - Vladimir Voevodsky [2002]

Foundations 7: Dependent Type Theory

A working (class) introduction to Homotopy Type Theory: The favourite type theory of the proletariat

Univalent Foundations of Mathematics - Vladimir Voevodsky

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

Что такое квантовая теория