Media Summary: Oregon Programming Languages Summer School Parallelism and Concurrency July Andrej Bauer has done his PhD at CMU under Dana Scott, and he stands right on the edge between mathematics and Thank you mic okay in the back cool okay so what I want to tell you about today is this homotopy
Computational Type Theory 3 5 - Detailed Analysis & Overview
Oregon Programming Languages Summer School Parallelism and Concurrency July Andrej Bauer has done his PhD at CMU under Dana Scott, and he stands right on the edge between mathematics and Thank you mic okay in the back cool okay so what I want to tell you about today is this homotopy As computers are used more and more to confirm proofs, is it time to take
![Computational Type Theory [3/5] - Robert Harper - OPLSS 2018](https://i.ytimg.com/vi/GzPMZ6RsihU/mqdefault.jpg)
![Computational Type Theory [4/5] - Robert Harper - OPLSS 2018](https://i.ytimg.com/vi/pfOQ97iCIsk/mqdefault.jpg)
![Computational Type Theory [5/5] - Robert Harper - OPLSS 2018](https://i.ytimg.com/vi/RhDuRmg-SdA/mqdefault.jpg)
![Computational Type Theory [2/5] - Robert Harper - OPLSS 2018](https://i.ytimg.com/vi/1U4w0159-Ls/mqdefault.jpg)
![Computational Type Theory [1/5] - Robert Harper - OPLSS 2018](https://i.ytimg.com/vi/LE0SSLizYUI/mqdefault.jpg)
