Univalence from a computer science point-of-view - Dan Licata

Univalence from a computer science point-of-view - Dan Licata

E5.E – A Constructive Model of Directed Univalence in Bicubical SetsSee more

E5.E – A Constructive Model of Directed Univalence in Bicubical Sets

Dan Licata, Cubical infinite-dimensional type theorySee more

Dan Licata, Cubical infinite-dimensional type theory

Toward a Computational Interpretation of Univalence - Daniel LicataSee more

Toward a Computational Interpretation of Univalence - Daniel Licata

Computing with Univalence - Daniel LicataSee more

Computing with Univalence - Daniel Licata

Dan Licata Lecture 2, OPLSS 2016See more

Dan Licata Lecture 2, OPLSS 2016

Dan Licata, A fibrational framework for substructural and modal dependent type theoriesSee more

Dan Licata, A fibrational framework for substructural and modal dependent type theories

Programming Languages Background 4 - Dan Licata - OPLSS 2017See more

Programming Languages Background 4 - Dan Licata - OPLSS 2017

The Univalence AxiomSee more

The Univalence Axiom

Dan Licata Lecture 8, OPLSS 2016See more

Dan Licata Lecture 8, OPLSS 2016

Dan Licata Lecture 4, OPLSS 2016See more

Dan Licata Lecture 4, OPLSS 2016

Intensionality, Invariance, and Univalence, Steve AwodeySee more

Intensionality, Invariance, and Univalence, Steve Awodey

Dan Licata's Reading RoomSee more

Dan Licata's Reading Room

Programming Languages Background 7 - Dan Licata - OPLSS 2017See more

Programming Languages Background 7 - Dan Licata - OPLSS 2017

Univalent Foundations Seminar - Steve AwodeySee more

Univalent Foundations Seminar - Steve Awodey

Tutorial 1 Dan Licata: A Fibrational Framework for Modal Simple Type TheoriesSee more

Tutorial 1 Dan Licata: A Fibrational Framework for Modal Simple Type Theories

News