Profile Picture
  • All
  • Search
  • Images
  • Videos
  • Maps
  • News
  • More
    • Shopping
    • Flights
    • Travel
  • Notebook
Report an inappropriate content
Please select one of the options below.
  • Length
    AllShort (less than 5 minutes)Medium (5-20 minutes)Long (more than 20 minutes)
  • Date
    AllPast 24 hoursPast weekPast monthPast year
  • Resolution
    AllLower than 360p360p or higher480p or higher720p or higher1080p or higher
  • Source
    All
    Dailymotion
    Vimeo
    Metacafe
    Hulu
    VEVO
    Myspace
    MTV
    CBS
    Fox
    CNN
    MSN
  • Price
    AllFreePaid
  • Clear filters
  • SafeSearch:
  • Moderate
    StrictModerate (default)Off
Filter
Computer Science ∩ Mathematics (Type Theory) - Computerphile
15:56
YouTubeComputerphile
Computer Science ∩ Mathematics (Type Theory) - Computerphile
As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Dr Thorsten Altenkirch discusses Type Theory vs Set Theory. A Longer version of this interview can be found here: https://youtu.be/ZDEHf1wR7VA EXTRA BITS: https://youtu.be/ex_g4zectTQ http://www.facebook.com ...
271.6K viewsJan 11, 2017
Type Theory Applications
Not Your Type Funny Reaction || ONLY Podpoh || ‪@The_MotorMouth‬ #doraemon #viral #tending
0:57
Not Your Type Funny Reaction || ONLY Podpoh || ‪@The_MotorMouth‬ #doraemon #viral #tending
YouTubeONLY Podpoh
2.8M views2 weeks ago
Not Your Type Funny Reaction Part 8 || ONLY Podpoh || #doraemon #viral #tending
1:09
Not Your Type Funny Reaction Part 8 || ONLY Podpoh || #doraemon #viral #tending
YouTubeONLY Podpoh
4M views4 weeks ago
#shorts #viral #foryou #trending #youtubeshorts #viralvideo #shortvideo #trendingshorts #fyp #new
0:36
#shorts #viral #foryou #trending #youtubeshorts #viralvideo #shortvideo #trendingshorts #fyp #new
YouTubeType Beats3D
2.5M views3 weeks ago
Top videos
Emily Riehl Makes Infinity Categories Elementary
2:43:41
Emily Riehl Makes Infinity Categories Elementary
YouTubeCurt Jaimungal
44.8K views9 months ago
Type Theory in Computer Science, Linguistics, Logic
40:14
Type Theory in Computer Science, Linguistics, Logic
YouTubeAttic Philosophy
37.5K views6 months ago
[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the Language
20:17
[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the Language
YouTubejacobneu
7.3K viewsFeb 19, 2021
Type Theory Tutorial
A Pokémon without ANY Types??
1:08
A Pokémon without ANY Types??
YouTubeWolfeyVGC
2.2M views3 weeks ago
suddenly my type is abang polis #fyp #malaysia | malaysia
0:42
suddenly my type is abang polis #fyp #malaysia | malaysia
TikTokmothershipsg
13.5M views2 weeks ago
12,000 HP comin’ at ya! 😳 #nhra #dragracing #nitro | drag racing
0:05
12,000 HP comin’ at ya! 😳 #nhra #dragracing #nitro | drag racing
TikToknhra
227.9K views1 week ago
Emily Riehl Makes Infinity Categories Elementary
2:43:41
Emily Riehl Makes Infinity Categories Elementary
44.8K views9 months ago
YouTubeCurt Jaimungal
Type Theory in Computer Science, Linguistics, Logic
40:14
Type Theory in Computer Science, Linguistics, Logic
37.5K views6 months ago
YouTubeAttic Philosophy
[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the Language
20:17
[Intro to HoTT - OLD] Martin-Löf Type Theory: Speaking the Langu…
7.3K viewsFeb 19, 2021
YouTubejacobneu
Type theory and the algebra of types
15:22
Type theory and the algebra of types
8.5K views11 months ago
YouTubeAll Angles
#8 Homotopy Type Theory Explained: Existential Qualifiers
2:35
#8 Homotopy Type Theory Explained: Existential Qualifiers
769 views2 months ago
YouTubeHoTT Math
#14 Homotopy Type Theory Explained: Inductors
4:34
#14 Homotopy Type Theory Explained: Inductors
220 views1 month ago
YouTubeHoTT Math
#15 Homotopy Type Theory Explained: Higher Inductive Types, Circle, Sphere
3:45
#15 Homotopy Type Theory Explained: Higher Inductive Types…
198 views1 month ago
YouTubeHoTT Math
3:10
#5 Homotopy Type Theory Explained: Products
74 views3 months ago
YouTubeHoTT Math
3:18
#1 Homotopy Type Theory Explained: A New Foundation for …
13 views4 months ago
YouTubeHoTT Math
See more videos
Static thumbnail place holder
More like this
Feedback
  • Privacy
  • Terms