Links between homotopy theory and type theory - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Links between homotopy theory and type theory

Yves Bertot
Mathematical, Reasoning and Software

Résumé

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.

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
paper.pdf (46.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Yves Bertot  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00987248

Soumis le : lundi 5 mai 2014-17:32:57

Dernière modification le : mercredi 15 mars 2023-08:58:09

Archivage à long terme le : mardi 5 août 2014-12:55:35

Télécharger pour visualiser

Dates et versions

hal-00987248 , version 1 (05-05-2014)

Identifiants

  • HAL Id : hal-00987248 , version 1

Citer

Yves Bertot. Links between homotopy theory and type theory. CICM - Conference on Intelligent Computer Mathematics, Jul 2014, Coimbra, Portugal. ⟨hal-00987248⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2
200 Consultations
189 Téléchargements

Partager

Gmail Facebook X LinkedIn More