Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Yves Bertot Connect in order to contact the contributor
Submitted on : Monday, May 5, 2014 - 5:32:57 PM
Last modification on : Thursday, January 20, 2022 - 5:30:45 PM
Long-term archiving on: : Tuesday, August 5, 2014 - 12:55:35 PM


Files produced by the author(s)


  • HAL Id : hal-00987248, version 1



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



Les métriques sont temporairement indisponibles