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
▶︎
Propositions as Types - Computerphile
▶︎
Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
▶︎
The mathematical work of Vladimir Voevodsky - Dan Grayson
▶︎
Harari and Tegmark on Humanity and AI
▶︎
Trump Gets Booed & Falls Asleep During NBA Finals, Claims War is Almost Over & Goodbye Spencer Pratt
▶︎
Co-Creator of Haskell: Useless vs Useful Languages, Rust vs C, Functional Programming | Simon Jones
▶︎
Something is jamming GPS over Europe. Here's what we found
▶︎
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky
▶︎
Creator of C++: Bell Labs, Negative Overhead Abstraction, Mistakes | Bjarne Stroustrup
▶︎
Training Sand to Think: Artificial General Intelligence & Future of Physics
▶︎
Turing Award Winner: Disagreeing with Google, Postgres, Future Problems | Mike Stonebraker
▶︎
Per Martin Löf: How did 'judgement' come to be a term of logic ?
▶︎
"Computer Vision Beyond Task Performance" – Raymond Yeh, TTIC Colloquium
▶︎
3 01 A Functional Programmer's Guide to Homotopy Type Theory
▶︎
How I became seduced by univalent foundations
▶︎
"A Little Taste of Dependent Types" by David Christiansen
▶︎
Sarah Paine - Why Putin and Xi can't escape geography
▶︎