Profile Picture
  • All
  • Search
  • Local Search
  • Images
  • Videos
    • Shorts
  • Maps
  • More
    • News
    • 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
Prof. Andrew Pitts | Using Agda to Explore Path-Oriented Models of Type Theory
56:30
YouTubeINI Seminar Room 2
Prof. Andrew Pitts | Using Agda to Explore Path-Oriented Models of Type Theory
Speaker: Professor Andrew Pitts (University of Cambridge) Date: 27th Jun 2017 - 13:30 to 14:30 Venue: INI Seminar Room 2 Title: Using Agda to Explore Path-Oriented Models of Type Theory Event: (BPR) Big proof Abstract: Homotopy Type Theory (HoTT) has re-invigorated research into the theory and applications of the intensional version of Martin ...
1 day ago
Related Products
Abstract Art Examples
Abstract Typography
Abstract Line Art
#abstract
Create Abstract Line Background! | Adobe Illustrator Tutorial | Fiery Designs
Create Abstract Line Background! | Adobe Illustrator Tutorial | Fiery Designs
YouTubeFeb 3, 2023
Easy Abstract Art for Beginners: Vibrant Acrylic Techniques!
Easy Abstract Art for Beginners: Vibrant Acrylic Techniques!
YouTubeJun 15, 2024
Top videos
Experimental Noise Ritual - Abstract Guitar Performance Art (Plastic & Metal Instrument Destruction)
9:47
Experimental Noise Ritual - Abstract Guitar Performance Art (Plastic & Metal Instrument Destruction)
YouTubeElektricTea
1 day ago
[FREE] ISAIAH RASHAD X AARON MAY TYPE BEAT - "ABSTRACT" | CHILL RAP TYPE BEAT
4:37
[FREE] ISAIAH RASHAD X AARON MAY TYPE BEAT - "ABSTRACT" | CHILL RAP TYPE BEAT
YouTubeLost Soul Beats
7.7K views6 days ago
CQ 2-6: Functions as Relations Types of Relations VI
8:27
CQ 2-6: Functions as Relations Types of Relations VI
YouTubeKedika OER-PRSC
1 day ago
Abstract Type Vs Concrete Type
TEXTURED ABSTRACT: Dive into the Colorful World of Acrylic Art!
0:56
TEXTURED ABSTRACT: Dive into the Colorful World of Acrylic Art!
YouTubeRahulTextureArt
11.5K views1 month ago
Acrylic Pouring with Gold Texture Paste & Hand-Painted Sphere | Elegant Fluid Art Painting
0:34
Acrylic Pouring with Gold Texture Paste & Hand-Painted Sphere | Elegant Fluid Art Painting
YouTubeCindy Art Studio
18.5K views1 month ago
Mastering Stunning Abstract Art with Simple Step by Step Guide
0:17
Mastering Stunning Abstract Art with Simple Step by Step Guide
YouTubeTanGri ART | Abstract
488 views9 months ago
Experimental Noise Ritual - Abstract Guitar Performance Art (Plastic & Metal Instrument Destruction)
9:47
Experimental Noise Ritual - Abstract Guitar Performance Art (Plastic & …
1 day ago
YouTubeElektricTea
[FREE] ISAIAH RASHAD X AARON MAY TYPE BEAT - "ABSTRACT" | CHILL RAP TYPE BEAT
4:37
[FREE] ISAIAH RASHAD X AARON MAY TYPE BEAT - "ABSTRACT" | …
7.7K views6 days ago
YouTubeLost Soul Beats
CQ 2-6: Functions as Relations Types of Relations VI
8:27
CQ 2-6: Functions as Relations Types of Relations VI
1 day ago
YouTubeKedika OER-PRSC
FKT | Dr. Havva Yoldas | How to obtain quantitative hypocoercivity estimates by using Harris-type
46:31
FKT | Dr. Havva Yoldas | How to obtain quantitative hypocoercivit…
1 day ago
YouTubeINI Seminar Room 2
GRA | Dr. Csaba Schneider | A new look at permutation groups of simple diagonal type
57:50
GRA | Dr. Csaba Schneider | A new look at permutation groups of sim…
1 day ago
YouTubeINI Seminar Room 2
[FREE] Earthgang x J.I.D x GoldLink Type Beat | “The Crew"
2:14
[FREE] Earthgang x J.I.D x GoldLink Type Beat | “The Crew"
16 views5 days ago
YouTubeJustDan Beats
The importance of hairstyle according to face type @抖音小助手
0:20
The importance of hairstyle according to face type @抖音小助手
10.2K views4 days ago
YouTubeSpecial Hair Design
54:24
How Relearning To Play Can Make You Happier
3.9K views6 days ago
YouTubeAlive with Steve Burns
22:07
Parts of Speech/ Noun/ Kinds of Noun/ English Grammar for all exa…
21 views5 days ago
YouTubeBrijendra Gyan Express
See more videos
Static thumbnail place holder
More like this
Feedback
  • Privacy
  • Terms