CodeSignal – The Duolingo of Coding Practice
A Fibrational Framework for Modal Dependent Type Theories

A Fibrational Framework for Modal Dependent Type Theories

Hausdorff Center for Mathematics via YouTube Direct link

Modal dependent type theories

14 of 14
Previous

14 of 14

Modal dependent type theories

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

A Fibrational Framework for Modal Dependent Type Theories

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Intro
  2. 2 Analogy
  3. 3 Unary type theory
  4. 4 Structural Rules
  5. 5 Mode theories
  6. 6 Parametrized spectra
  7. 7 Dependency
  8. 8 Simple type theory
  9. 9 Dependent type theory
  10. 10 Subtle Parts
  11. 11 Mode Theory for Simple Types
  12. 12 Mode Theory for Dependent Types
  13. 13 Modalities
  14. 14 Modal dependent type theories

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.