Lambda Jam 2014 - Gershom Bazerman - Homotopy Type Theory: What’s the Big Idea #YOWLambdaJam
Homotopy Type Theory () is a research program that brings together computer science (in the form of dependent type th...
8 months ago 12:00:00 1
10 months ago 00:01:04 1
1 year ago 00:37:22 1
2 years ago 00:05:09 1
![Pure Progressive Vol. 3 - Mixed by Slam Duck [Official Trailer]](https://sun9-60.userapi.com/-g8N6tHpklVMMGbC4WZ_uax80JfSEXAx0whw4w/G-CCqloNlE0.jpg)
2 years ago 00:31:18 1
4 years ago 00:05:23 3
4 years ago 00:23:33 1
4 years ago 00:20:37 3
5 years ago 00:00:56 7
6 years ago 00:30:10 1
6 years ago 00:08:51 3
7 years ago 00:00:52 64
10 years ago 00:44:44 226
