Upload date
All time
Last hour
Today
This week
This month
This year
Type
All
Video
Channel
Playlist
Movie
Duration
Short (< 4 minutes)
Medium (4-20 minutes)
Long (> 20 minutes)
Sort by
Relevance
Rating
View count
Features
HD
Subtitles/CC
Creative Commons
3D
Live
4K
360°
VR180
HDR
55 results
1.18K subscribers
3.55K subscribers
1,554 views
1 year ago
21.2K subscribers
214 subscribers
283 subscribers
--- WHY TYPE THEORY MATTERS by Thorsten Altenkirch ABSTRACT Modern Type Theory (usually called Homotopy Type ...
5,250 views
5 years ago
Ft David Sanborn, Steve Gadd, Larry Carlton, Michael Brecker, Randy Brecker, a true all star cast, relaesed in 1981.
6,768 views
12 years ago
873 views
2 years ago
One of the key problems of Homotopy Type Theory is that it introduces axioms such as extensionality and univalence for which ...
10,803 views
10 years ago
Thorsten Altenkirch Univ Nottingham/IAS January 23, 2013 For more videos, visit http://video.ias.edu.
1,815 views
7 years ago
Provided to YouTube by The Orchard Enterprises This Will Be Mine · Todd Terry · SAX Todd Terry presents SAX: THE CD ℗ 2010 ...
3,807 views
0
2,037 views
13 years ago
Aimed at programmers with some Scala experience that are interested in pure functional programming using the Cats library.
1,057 views
4 years ago
Over Computerphile's first year, we asked each contributor the question: "Mac or PC?" as part of our sound-check. Here are the ...
605,917 views
First steps in Propositions-as-Types.
6,267 views
6 years ago
67 subscribers
132 subscribers
1.21K subscribers
1.14K subscribers
86 subscribers
Inaugural Lecture - Prof Thorsten Altenkirch The Tao of Types Types play an important role in Computer Science and Mathematics ...
2,717 views
http://www.facebook.com/djtoddterry New track for ADE 2011 Todd Terry "Danger" drops November 1, 2011 ...
1,125 views
Trete jetzt meiner Vertriebsoffensive Community bei: https://dirkkreuter.com/vocom Meine Biografie: https://amzn.to/3qWAjHn ...
694 views
15 hours ago
12 subscribers
403 subscribers
2 subscribers
24 subscribers
3.83K subscribers