Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
Computational Type Theory [4/5] - Robert Harper - OPLSS 2018
[POPL 2021] The Taming of the Rew: A Type Theory with Computational Assumptions (full)
Computational Type Theory [3/5] - Robert Harper - OPLSS 2018
Computer Science ∩ Mathematics (Type Theory) - Computerphile
Computational Type Theory [2/5] - Robert Harper - OPLSS 2018
Computing with Univalence - Daniel Licata
A Taste of Type Theory • Bartosz Milewski • YOW! 2019
Computing with Life? Computer Made of Molecules, DNA and Proteins
3 01 A Functional Programmer's Guide to Homotopy Type Theory
Kuen Bang Hou (Favonia): Cartesian cubical computational type theory
Computational Type Theory [5/5] - Robert Harper - OPLSS 2018
The Hardest Problem in Type Theory - Computerphile
Higher Inductive Types in Cubical Computational Type Theory
Type Theory for the Working Rustacean - Dan Pittman
Why greatest Mathematicians are not trying to prove Riemann Hypothesis? || #short #terencetao #maths
Robert Harper: "Phase Distinctions in Type Theory"
Carlo Angiuli, Computational semantics of Cartesian cubical type theory
Homotopy Type Theory: what can logic do for homotopy theory? - Peter Lumsdaine
![Computational Type Theory [1/5] - Robert Harper - OPLSS 2018](https://img.youtube.com/vi/LE0SSLizYUI/0.jpg)
![Computational Type Theory [4/5] - Robert Harper - OPLSS 2018](https://img.youtube.com/vi/pfOQ97iCIsk/0.jpg)
![[POPL 2021] The Taming of the Rew: A Type Theory with Computational Assumptions (full)](https://img.youtube.com/vi/7XYKfcmFs6w/0.jpg)
![Computational Type Theory [3/5] - Robert Harper - OPLSS 2018](https://img.youtube.com/vi/GzPMZ6RsihU/0.jpg)
![Computational Type Theory [2/5] - Robert Harper - OPLSS 2018](https://img.youtube.com/vi/1U4w0159-Ls/0.jpg)
![Computational Type Theory [5/5] - Robert Harper - OPLSS 2018](https://img.youtube.com/vi/RhDuRmg-SdA/0.jpg)
![[POPL 2021] The Taming of the Rew: A Type Theory with Computational Assumptions (full)](https://img.youtube.com/vi/OtLzNbqhRvk/0.jpg)
