more on higher inductive types

Unknown Channel

Unknown Channel507 subscribers

May 3, 2020

Download

0 formats

No download links available.

Related Videos

20

Why Categorical Aspects of Type Theory Matter

Favonia

11.0K views · 6 years ago

Introduction to Cubical Type Theory (Part I)

Favonia

57.0K views · 6 years ago

The Strange Math That Predicts (Almost) Anything

Veritasium

11.0M views · 9 months ago

$But why would light slow down Visualizing Feynman's lecture on the refractive index$ 28:34

But why would light slow down Visualizing Feynman's lecture on the refractive index

3Blue1Brown

27.0M views · 2 years ago

Physicist Brian Cox explains quantum physics in 22 minutes

Big Think and Big Think Clips

39.0M views · 1 year ago

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

BBC Archive

18.0M views · 1 month ago

But what is the Fourier Transform A visual introduction.

3Blue1Brown

12.0M views · 8 years ago

Higher Inductive Types in Cubical Computational Type Theory

POPL 2019

21.0K views · 7 years ago

CSCI 8980 Higher-Dimensional Type Theory, 2020 Spring (since 319)

Favonia

0 views · just now

The Oldest Unsolved Problem in Math

Veritasium

20.0M views · 2 years ago

Hegseth and Patel Iran Press Briefing Cold Open - SNL

Saturday Night Live

73.0M views · 1 week ago

The Standard Model of Particle Physics A Triumph of Science

Quanta Magazine

35.0M views · 4 years ago

The disaster I never imagined having to worry about

Veritasium

55.0M views · 1 week ago

But what is a Laplace Transform

3Blue1Brown

15.0M views · 6 months ago

Introduction to Normalization by Evaluation

Favonia

12.0K views · 6 years ago

Nervous System Regulation (999 Hz) 1 hour handpan music Malte Marten

Malte Marten

13.0M views · 2 weeks ago

The Man Who Accidentally Discovered Antimatter

Veritasium

84.0M views · 5 months ago

Building the PERFECT Linux PC with Linus Torvalds

Linus Tech Tips

69.0M views · 5 months ago

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

Veritasium

82.0M views · 2 months ago

The Biggest Misconception in Physics

Veritasium

12.0M views · 1 year ago

© 2026 NatokHD. Not affiliated with YouTube.

About Terms Contact

more on higher inductive types | NatokHD