Univalence from a computer science point-of-view - Dan Licata
Vladimir Voevodsky Memorial Conference Topic: Univalence from a computer science point-of-view Speaker: Dan Licata Affiliation: Wesleyan University Date: September 14, 2018 For more video please visit http://video.ias.edu
▶︎
Algebraic K-theory, combinatorial K-theory and geometry - Inna Zakharevich
▶︎
Intensionality, Invariance, and Univalence, Steve Awodey
▶︎
Keynote: After the AI Hype – What’s Real, and What’s Next - Richard Campbell - 2026
▶︎
01 Course Introduction
▶︎
The Hardest Problem in Type Theory - Computerphile
▶︎
TypeScript in Express – TypeScript Tutorial
▶︎
The PROBLEM with Capitalism - Smarter Every Day 316
▶︎
Nobody Explained Maxwell's Equations Like THIS!
▶︎
The 3 elements of stupidity, according to philosophy | Jonny Thomson: Full Interview
▶︎
The mathematical work of Vladimir Voevodsky - Dan Grayson
▶︎
"Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman
▶︎
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
▶︎
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
▶︎
How I became seduced by univalent foundations
▶︎
Per Martin Löf: How did 'judgement' come to be a term of logic ?
▶︎
Why does every mammal get 1 billion heartbeats in their life?
▶︎
How Small Can a Video Game Actually Be?
▶︎
Five Stages of Accepting Constructive Mathematics - Andrej Bauer
▶︎
Homotopy Type Theory Discussed - Computerphile
▶︎