Supports acycliques et algorithmique
Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988, Astérisque no. 192  (1990), p. 35-55
@incollection{AST_1990__192__35_0,
     author = {Rubio, Julio and Sergeraert, Francis},
     title = {Supports acycliques et algorithmique},
     booktitle = {Algorithmique, topologie et g\'eom\'etrie alg\'ebriques - S\'evilla,1987, Toulouse 1988},
     editor = {Hayat-Legrand Claude and Sergeraert Francis},
     series = {Ast\'erisque},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {192},
     year = {1990},
     pages = {35-55},
     language = {fr},
     url = {http://www.numdam.org/item/AST_1990__192__35_0}
}
Rubio, Julio; Sergeraert, Francis. Supports acycliques et algorithmique, in Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988, Astérisque, no. 192 (1990), pp. 35-55. http://www.numdam.org/item/AST_1990__192__35_0/

[1] Edgar H. Brown Jr.. Twisted tensor products, I. Ann. of Math., 1959, vol. 69, pp 223-246.

[2] Alonzo Church. The calculi of lambda-conversion. Princeton University Press, 1941.

[3] Samuel Eilenberg et Saunders Mac Lane. Acyclic models. Am. J. Math., 1953, vol. 75, pp 189-199.

[4] Daniel M. Kan. A combinatorial definition of homotopy groups. Ann. of Math., 1958, vol. 67, pp 282-312.

[5] Saunders Mac Lane. Homology. Springer-Verlag, 1975.

[6] J. Peter May. Simplicial objects in algebraic topology. Van Nostrand, 1967.

[7] Alain Proute. Sur la transformation d'Eilenberg-Mac Lane. C.R. Acad. Sc. Paris, 1983, vol. 297, pp 193-194.

[8] Francis Sergeraert. The computability problem in algebraic topology. À paraître in Advances in Mathematics.

[9] R. H. Szczarba. The homology of twisted cartesian products. Trans. A. M. S., 1961, vol. 100, pp 197-216.