Functional coding and effective homology
Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988, Astérisque, no. 192 (1990), pp. 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},
     pages = {57--67},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {192},
     year = {1990},
     language = {en},
     url = {http://archive.numdam.org/item/AST_1990__192__57_0/}
}
TY  - CHAP
AU  - Sergeraert, Francis
TI  - Functional coding and effective homology
BT  - Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988
AU  - Collectif
ED  - Hayat-Legrand Claude
ED  - Sergeraert Francis
T3  - Astérisque
PY  - 1990
SP  - 57
EP  - 67
IS  - 192
PB  - Société mathématique de France
UR  - http://archive.numdam.org/item/AST_1990__192__57_0/
LA  - en
ID  - AST_1990__192__57_0
ER  - 
%0 Book Section
%A Sergeraert, Francis
%T Functional coding and effective homology
%B Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988
%A Collectif
%E Hayat-Legrand Claude
%E Sergeraert Francis
%S Astérisque
%D 1990
%P 57-67
%N 192
%I Société mathématique de France
%U http://archive.numdam.org/item/AST_1990__192__57_0/
%G en
%F AST_1990__192__57_0
Sergeraert, Francis. Functional coding and effective homology, dans Algorithmique, topologie et géométrie algébriques - Sévilla,1987, Toulouse 1988, Astérisque, no. 192 (1990), pp. 57-67. http://archive.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.