Sémantique formelle des opérateurs d'un langage de listes
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 8 (1974) no. R3, pp. 19-36.
@article{ITA_1974__8_3_19_0,
     author = {Castanet, R.},
     title = {S\'emantique formelle des op\'erateurs d'un langage de listes},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {19--36},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {8},
     number = {R3},
     year = {1974},
     zbl = {0325.68012},
     mrnumber = {366631},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1974__8_3_19_0/}
}
TY  - JOUR
AU  - Castanet, R.
TI  - Sémantique formelle des opérateurs d'un langage de listes
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 1974
DA  - 1974///
SP  - 19
EP  - 36
VL  - 8
IS  - R3
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://www.numdam.org/item/ITA_1974__8_3_19_0/
UR  - https://zbmath.org/?q=an%3A0325.68012
UR  - https://www.ams.org/mathscinet-getitem?mr=366631
LA  - fr
ID  - ITA_1974__8_3_19_0
ER  - 
Castanet, R. Sémantique formelle des opérateurs d'un langage de listes. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 8 (1974) no. R3, pp. 19-36. http://www.numdam.org/item/ITA_1974__8_3_19_0/

[1] R. Castanet, Une formalisation de la sémantique des opérateurs d'extraction dans une arborescence, C. R. Acad. Sc. Paris, série A, 275 (1972), 135-137. | MR 300920 | Zbl 0239.02016

[1A] R. Castanet, Sur la sémantique des opérateurs d'insertion dans une arborescence, C. R. Acad. Sc. Paris, série A, 275 (1972), 209-212. | MR 302411 | Zbl 0247.02029

[2] A. Church, The calculi of lambda conversion, Princeton University Press (Princeton), 1941. | JFM 67.0041.01 | MR 5274 | Zbl 0026.24205

[3] H. B. Curry et R. Feys, Combinatory logic, 1, North Holland (Amsterdam), 1958. | MR 94298 | Zbl 0081.24104

[4] L. Nolin, Logique combinatoire et algorithmes, C. R. Acad. Sc. Paris, série A, 272 (1972), 1435-1438 et 1485-1488. | MR 285394 | Zbl 0217.00805

[5] E. V. Paduceva, Réduction de groupes de coordination contenant des éléments se répétant, in La sématique en U.R.S.S., Dunod, Paris (1971).

[6] B. Robinet, Sémantique des tableaux : Application au langage APL. Thèse 3e cycle, Université Paris, 6 (1972).

[7] R. H. Lethwell and J. E. Mezei, A formal description of APL, Actes du congrès APL, IRIA, Rocquencourt (1971).

[8] M. Weizenbaum, Symetric List Processor, Comm. ACM, vol. 6, n° 9 (1963), 524-544. | MR 154449 | Zbl 0116.09606

[9] J. Mac Carthy, LISP 1.5 Programmer's Manual, MIT Press, Cambridge Mass. (1962).

[10] K. C. Knowlton, A programmer's description of L6. Comm. ACM, vol. 7 (1965), 623-625.

[11] C. Böhm, The CUCH as a formal and description language, in Formal language, description language, STEEL (1964).

[12] P. Wegner, Programming, information structures and machine organisation, McGraw Hill, New York (1968). | MR 278577

[13] M. Venturini-Zilli, Lambda K formulae for vectors operators, Int. Comp. center Bull., 4 (1965), 157-174.