robert harper: "phase distinctions in type theory"
Published Streamed 2 years ago • 2.5K plays • Length 1:06:56Download video MP4
Download video MP3
Similar videos
-
10:53
russell's paradox
-
6:03:24
category theory for beginners: topos theory essentials
-
1:43:33
andré joyal --- homotopy type theory: a new bridge between logic, category theory and topology.b
-
![computational type theory [3/5] - robert harper - oplss 2018](https://i.ytimg.com/vi/GzPMZ6RsihU/mqdefault.jpg)
1:20:17
computational type theory [3/5] - robert harper - oplss 2018
-
![computational type theory [1/5] - robert harper - oplss 2018](https://i.ytimg.com/vi/LE0SSLizYUI/mqdefault.jpg)
1:25:20
computational type theory [1/5] - robert harper - oplss 2018
-
![computational type theory [4/5] - robert harper - oplss 2018](https://i.ytimg.com/vi/pfOQ97iCIsk/mqdefault.jpg)
1:13:09
computational type theory [4/5] - robert harper - oplss 2018
-
![computational type theory [5/5] - robert harper - oplss 2018](https://i.ytimg.com/vi/RhDuRmg-SdA/mqdefault.jpg)
1:25:29
computational type theory [5/5] - robert harper - oplss 2018
-
37:03
type theory foundations 4.2 — robert harper
-
16:06
ml 2021: a metalanguage for multi-phase modularity