03B15 Higher-order logic and type theory

MSC > 03Bxx General logic > 03B15 Higher-order logic and type theory

Videos linked to 03B15 Higher-order logic and type theory

58:27

published on May 15, 2023

Compact ordinals in HoTT/UF

By Martin Escardó

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

56:01

published on September 28, 2017

Type theories and polynomial monads

By Steve Awodey

01:19:57

published on June 21, 2014

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

By Thierry Coquand

01:10:24

published on June 21, 2014

[1086] Developments in formal proofs

By Thomas C. Hales

54:16

published on April 23, 2014

Univalent Foundations - new type-theoretic foundations of mathematics

By Vladimir Voevodsky

More +

Copyright Carmin.tv 2024

Give feedback