Ensembles infinis en programmation
Publications du Département de mathématiques (Lyon), no. 2B (1985), pp. 45-56.
@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/}
}
TY  - JOUR
AU  - Cayrol, Michel
TI  - Ensembles infinis en programmation
JO  - Publications du Département de mathématiques (Lyon)
PY  - 1985
SP  - 45
EP  - 56
IS  - 2B
PB  - Université Claude Bernard - Lyon 1
UR  - http://archive.numdam.org/item/PDML_1985___2B_45_0/
LA  - fr
ID  - PDML_1985___2B_45_0
ER  - 
%0 Journal Article
%A Cayrol, Michel
%T Ensembles infinis en programmation
%J Publications du Département de mathématiques (Lyon)
%D 1985
%P 45-56
%N 2B
%I Université Claude Bernard - Lyon 1
%U http://archive.numdam.org/item/PDML_1985___2B_45_0/
%G fr
%F PDML_1985___2B_45_0
Cayrol, Michel. Ensembles infinis en programmation. Publications du Département de mathématiques (Lyon), no. 2B (1985), pp. 45-56. http://archive.numdam.org/item/PDML_1985___2B_45_0/

1 Cayrol M. Conception et pratique d'un modèle pour le traitement d'objets infinis dénombrables, rapport interne U.P.S. (1984).

2 Greussay P. Contribution à la définition interprétative et à l'implémentation des lambdalangages. Thèse d'état Université de Paris VII (1977).

3 Maccarty et Al. Lisp 1.5 Programmers's Manual. M.I.T. Press Cambridge Massachussets (1965).

4 Sussman C.J., Stelle G.L. The revised report on SCHEME a dialect of LISP , A.I. Meno n° 452 (1978).

5 Vuillemin J. Syntaxe, Sémantique et Axiomatique d'un langage de programmation simple. Birkhauser Verlag, Basel und Stutgart (1975). | Zbl

6 Wand M. Induction, recursion and programming, North Holland (1980). | MR | Zbl

7 Wise D.S. Interpreters for functional programming and its applications, Cambridge University Press (1982).