@inproceedings{lamarche:inria-00620172, TITLE = {{An Interesting Link Between Type Theory and Algebraic topology.}}, AUTHOR = {Lamarche, Fran{\c c}ois}, URL = {https://inria.hal.science/inria-00620172}, BOOKTITLE = {{SD09 Structures and Deductions 2009}}, ADDRESS = {Bordeaux, France}, ORGANIZATION = {{Michel Parigot and Lutz Strassburger}}, YEAR = {2009}, MONTH = Jul, HAL_ID = {inria-00620172}, HAL_VERSION = {v1}, }