univalence axiom

Keywords > univalence axiom

Videos linked to univalence axiom

01:22:58

published on March 14, 2022

Daily applications of the univalence axiom: lecture 3

By Egbert Rijke

01:22:28

published on March 14, 2022

Daily applications of the univalence axiom: lecture 2

By Egbert Rijke

01:30:04

published on March 14, 2022

Daily applications of the univalence axiom: lecture 1

By Egbert Rijke

01:07:14

published on December 3, 2015

Logic and topology

By Thierry Coquand

01:19:57

published on June 21, 2014

[1085] Théorie des types dépendants et axiome d'univalence

By Thierry Coquand

01:17:33

published on May 19, 2014

Towards a Syntax for Cubical Type Theory 1/2

By Thorsten Altenkirch

59:32

published on May 19, 2014

Towards a Syntax for Cubical Type Theory 2/2

By Thorsten Altenkirch

54:16

published on April 23, 2014

Univalent Foundations - new type-theoretic foundations of mathematics

By Vladimir Voevodsky

More +

Copyright Carmin.tv 2026

Give feedback