Functional coding and effective homology
Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988, Astérisque no. 192  (1990), p. 57-67
@incollection{AST_1990__192__57_0,
     author = {Sergeraert, Francis},
     title = {Functional coding and effective homology},
     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 = {57-67},
     language = {en},
     url = {http://www.numdam.org/item/AST_1990__192__57_0}
}
Sergeraert, Francis. Functional coding and effective homology, in Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988, Astérisque, no. 192 (1990), pp. 57-67. http://www.numdam.org/item/AST_1990__192__57_0/

[BRW] Edgar H. Brown. - Finite computability of Postnikov complexes, Ann. of Math., 65 (1957), 1-20.

[BTT] R. Bott and L. Tu. - Differential forms in algebraic topology, Springer-Verlag, 1982.

[CRT] Henri Cartan. - Algèbres d'Eilenberg-MacLane, Séminaire Henri Cartan 1954-1955; in «Œuvres», Springer-Verlag, 1309-1394, 1979.

[HNG] N. Hingston. - Equivariant Morse theory and closed geodesics, J. of Differential Geometry, 19 (1984), 85-116.

[MCL] Saunders Mac Lane. - The work of Samuel Eilenberg in Topology, Algebra, Topology, and Category Theory, a collection of papers in honor of Samuel Eilenberg; Academic Press; 133-144, 1976.

[QLL] Daniel Quillen. - Finite generation of the groups K i of rings of algebraic integers, in "Higher K-theories", LNM 341, Springer-Verlag, 1973.

[SRG] Rancis Sergeraert. - Homologie effective, I, C.R. Acad. Sc. Paris, 304 (1987), 279-282

[SRG] Rancis Sergeraert. - Homologie effective, II, C.R. Acad. Sc. Paris, 304 (1987), 319-321.

[STL] Guy L. Steele Jr. - Common Lisp, the language, Digital Press, 1984.