Links between homotopy theory and type theory

Yves Bertot 1
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : This short note reviews the relations between homotopy theory and type theory, especially the similarity between paths in homotopy and proofs of equality in type theory.
Type de document :
Communication dans un congrès
Stephen Watt; James Davenport; Alan Sexton; Petr Sojka; Josef Urban. CICM - Conference on Intelligent Computer Mathematics, Jul 2014, Coimbra, Portugal. Springer, 2014
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00987248
Contributeur : Yves Bertot <>
Soumis le : lundi 5 mai 2014 - 17:32:57
Dernière modification le : jeudi 11 janvier 2018 - 16:23:01
Document(s) archivé(s) le : mardi 5 août 2014 - 12:55:35

Fichiers

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00987248, version 1

Collections

Citation

Yves Bertot. Links between homotopy theory and type theory. Stephen Watt; James Davenport; Alan Sexton; Petr Sojka; Josef Urban. CICM - Conference on Intelligent Computer Mathematics, Jul 2014, Coimbra, Portugal. Springer, 2014. 〈hal-00987248〉

Partager

Métriques

Consultations de la notice

181

Téléchargements de fichiers

164