Search 6,000+ CA Community College Courses
Cubical Types for the Working Formalizer - Making Type Theory Accessible

Cubical Types for the Working Formalizer - Making Type Theory Accessible

Topos Institute via YouTube Direct link

Amélia Liao: "Cubical types for the working formalizer"

1 of 1

1 of 1

Amélia Liao: "Cubical types for the working formalizer"

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Cubical Types for the Working Formalizer - Making Type Theory Accessible

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Amélia Liao: "Cubical types for the working formalizer"

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.