| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Links between homotopy theory and type theory
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.
Cited literature [7 references]
https://hal.inria.fr/hal-00987248
Contributor : Yves Bertot <>
Submitted on : Monday, May 5, 2014 - 5:32:57 PM
Last modification on : Thursday, January 7, 2021 - 3:40:07 PM
Long-term archiving on: : Tuesday, August 5, 2014 - 12:55:35 PM
Contributor : Yves Bertot <>
Submitted on : Monday, May 5, 2014 - 5:32:57 PM
Last modification on : Thursday, January 7, 2021 - 3:40:07 PM
Long-term archiving on: : Tuesday, August 5, 2014 - 12:55:35 PM
Files
paper.pdf
Files produced by the author(s)