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
Computer Science ∩ Mathematics (Type Theory) - Computerphile
271.6K viewsJan 11, 2017
YouTubeComputerphile
Type Theory in Computer Science, Linguistics, Logic
40:14
Type Theory in Computer Science, Linguistics, Logic
37.8K views6 months ago
YouTubeAttic Philosophy
Type theory and the algebra of types
15:22
Type theory and the algebra of types
8.5K views11 months ago
YouTubeAll Angles
#6 Homotopy Type Theory Explained: Coproducts
2:48
#6 Homotopy Type Theory Explained: Coproducts
248 views3 months ago
YouTubeHoTT Math
#7 Homotopy Type Theory Explained: Σ-types
3:28
#7 Homotopy Type Theory Explained: Σ-types
137 views3 months ago
YouTubeHoTT Math
#3 Homotopy Type Theory Explained: Propositions as Types
3:17
#3 Homotopy Type Theory Explained: Propositions as Types
190 views4 months ago
YouTubeHoTT Math
#11 Homotopy Type Theory Explained: Inductive Types, Finite Sets, Natural Numbers
2:21
#11 Homotopy Type Theory Explained: Inductive Types, Finite …
76 views2 months ago
YouTubeHoTT Math
3:10
#5 Homotopy Type Theory Explained: Products
74 views3 months ago
YouTubeHoTT Math
4:23
#12 Homotopy Type Theory Explained: Addition, Currying, Fun…
1 month ago
YouTubeHoTT Math
5:01
#13 Homotopy Type Theory Explained: Recursors, Multiplicati…
2 views1 month ago
YouTubeHoTT Math
See more videos
Static thumbnail place holder
More like this
Feedback
  • Privacy
  • Terms