TY - JOUR AU - Porter, Timothy TI - Coherent prohomotopical algebra JO - Cahiers de topologie et géométrie différentielle PY - 1977 SP - 139 EP - 179 VL - 18 IS - 2 PB - Dunod éditeur, publié avec le concours du CNRS UR - http://archive.numdam.org/item/CTGDC_1977__18_2_139_0/ LA - en ID - CTGDC_1977__18_2_139_0 ER -