03B15 Higher-order logic and type theory

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

Les vidéos associées à 03B15 Higher-order logic and type theory

58:27

publiée le 15 mai 2023

Compact ordinals in HoTT/UF

De Martin Escardó

01:22:58

publiée le 14 mars 2022

Daily applications of the univalence axiom: lecture 3

De Egbert Rijke

01:22:28

publiée le 14 mars 2022

Daily applications of the univalence axiom: lecture 2

De Egbert Rijke

01:30:04

publiée le 14 mars 2022

Daily applications of the univalence axiom: lecture 1

De Egbert Rijke

56:01

publiée le 28 septembre 2017

Type theories and polynomial monads

De Steve Awodey

01:19:57

publiée le 21 juin 2014

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

De Thierry Coquand

01:10:24

publiée le 21 juin 2014

[1086] Developments in formal proofs

De Thomas C. Hales

54:16

publiée le 23 avril 2014

Univalent Foundations - new type-theoretic foundations of mathematics

De Vladimir Voevodsky

Voir +

Copyright Carmin.tv 2024

Donner son avis