07 dependent types

Unknown Channel

Unknown Channel941 subscribers

Jun 2, 2020

Download

0 formats

No download links available.

Related Videos

20

08 Transport

HoTT Lectures

16.0K views · 5 years ago

02 Judgements

HoTT Lectures

76.0K views · 5 years ago

Robert Harper - Homotopy Type Theory

HoTT Lectures

0 views · just now

S13 E11 Epic Fury, Project Freedom & The Shadow Docket 51026 Last Week Tonight with John Oliver

LastWeekTonight

504.0K views · 17 hours ago

The problem with pretending quantum mechanics makes sense Sean Carroll

Big Think and 2 more

11.0M views · 2 months ago

The Strange Math That Predicts (Almost) Anything

Veritasium

11.0M views · 9 months ago

The French Do Not Care About Work

Trevor Noah

25.0M views · 2 months ago

Casey Muratori – The Big OOPs Anatomy of a Thirty-five-year Mistake – BSC 2025

Better Software Conference

741.0K views · 9 months ago

WHO IS STRONGER Anatoly VS Bodybuilder Pretended to be a CLEANER

ANATOLY

27.0M views · 3 days ago

Pulitzer Prize Historian You Won't Notice Until It’s Too Late - Anne Applebaum

The Diary Of A CEO

503.0K views · 13 hours ago

01 Course Introduction

HoTT Lectures

18.0K views · 5 years ago

The Tiny Donut That Proved We Still Don't Understand Magnetism

Veritasium

82.0M views · 2 months ago

The Shadow Docket Last Week Tonight with John Oliver (HBO)

LastWeekTonight

945.0K views · 14 hours ago

1986 How to Spot the Upper Class That's Life! BBC Archive

BBC Archive

18.0M views · 1 month ago

12 Equivalences

HoTT Lectures

867 views · 5 years ago

How liberals monetized trauma Catherine Liu on Marx, Trump, and identity politics

The Institute of Art and Ideas

583.0K views · 1 month ago

The Oldest Unsolved Problem in Math

Veritasium

20.0M views · 2 years ago

The Genius of Actors Playing Actors in The Truman Show

The Back Focus

373.0K views · 2 weeks ago

Give Me 19 Minutes and I'll Teach You How to Beat Everyone at Chess

Pegasus Chess

955.0K views · 8 months ago

How (and why) to take a logarithm of an image

3Blue1Brown

17.0M views · 1 month ago

© 2026 NatokHD. Not affiliated with YouTube.

About Terms Contact

07 dependent types | NatokHD