@article{PDML_1985___2B_45_0, author = {Cayrol, Michel}, title = {Ensembles infinis en programmation}, journal = {Publications du D\'epartement de math\'ematiques (Lyon)}, pages = {45--56}, publisher = {Universit\'e Claude Bernard - Lyon 1}, number = {2B}, year = {1985}, zbl = {0622.68036}, language = {fr}, url = {http://archive.numdam.org/item/PDML_1985___2B_45_0/} }
Cayrol, Michel. Ensembles infinis en programmation. Publications du Département de mathématiques (Lyon), Compte rendu des journées infinitistes, no. 2B (1985), pp. 45-56. http://archive.numdam.org/item/PDML_1985___2B_45_0/
1 Conception et pratique d'un modèle pour le traitement d'objets infinis dénombrables, rapport interne U.P.S. (1984).
2 Contribution à la définition interprétative et à l'implémentation des lambdalangages. Thèse d'état Université de Paris VII (1977).
3 Lisp 1.5 Programmers's Manual. M.I.T. Press Cambridge Massachussets (1965).
et Al.4 The revised report on SCHEME a dialect of LISP , A.I. Meno n° 452 (1978).
,5 Syntaxe, Sémantique et Axiomatique d'un langage de programmation simple. Birkhauser Verlag, Basel und Stutgart (1975). | Zbl
6 Induction, recursion and programming, North Holland (1980). | MR | Zbl
7 Interpreters for functional programming and its applications, Cambridge University Press (1982).