Type Theory Foundations, Lecture 1
Robert Harper - Type Theory Foundations, Lecture 1, Oregon Programming Languages Summer School 2012, University of Oregon
For more info about the ...
1 month ago 00:09:01 1
1 month ago 00:03:35 1
1 month ago 00:00:53 1
2 months ago 00:11:25 1
2 months ago 01:34:45 1
2 months ago 00:05:07 1
2 months ago 00:24:14 1
2 months ago 00:15:54 1
2 months ago 00:05:59 1
2 months ago 00:12:16 1
2 months ago 00:02:45 1
![[TEASER] Les Guerres Invisibles #8 - LIBERTÉ ET OBSCURANTISME : LE MOMENT DE BASCULE](https://sun9-59.userapi.com/IT7JhQ0LtQ73GUCK0zv6Fh9kvLxyG3lgbpTmmw/RJDAJzekNM0.jpg)
2 months ago 00:00:57 1
2 months ago 00:04:09 1
2 months ago 01:00:04 1
2 months ago 00:25:05 10
2 months ago 00:21:44 1
2 months ago 01:15:18 1
2 months ago 00:06:58 1
2 months ago 00:43:07 1
2 months ago 00:13:45 1
2 months ago 00:43:15 1
2 months ago 00:27:48 1
2 months ago 00:11:34 1
2 months ago 00:46:38 1
