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.
https://hal.inria.fr/hal-00987248
Contributor : Yves Bertot
<>
Submitted on : Monday, May 5, 2014 - 5:32:57 PM
Last modification on : Wednesday, September 12, 2018 - 1:16:38 AM
Document(s) archivé(s) le : Tuesday, August 5, 2014 - 12:55:35 PM
Yves Bertot. Links between homotopy theory and type theory. CICM - Conference on Intelligent Computer Mathematics, Jul 2014, Coimbra, Portugal. ⟨hal-00987248⟩
