Ensembles infinis en programmation
Cayrol, Michel
Publications du Département de mathématiques (Lyon), (1985), p. 45-56 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1985-01-01
@article{PDML_1985___2B_45_0,
     author = {Cayrol, Michel},
     title = {Ensembles infinis en programmation},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     year = {1985},
     pages = {45-56},
     zbl = {0622.68036},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/PDML_1985___2B_45_0}
}

Cayrol, Michel. Ensembles infinis en programmation. Publications du Département de mathématiques (Lyon),  (1985), pp. 45-56. http://gdmltest.u-ga.fr/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 0327.68006

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

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