Sémantique formelle des opérateurs d'un langage de listes
Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, 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 = {Revue fran\c{c}aise d'automatique informatique recherche op\'erationnelle. Informatique th\'eorique},
     pages = {19--36},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {8},
     number = {R3},
     year = {1974},
     mrnumber = {366631},
     zbl = {0325.68012},
     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  - Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
PY  - 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/
LA  - fr
ID  - ITA_1974__8_3_19_0
ER  - 
%0 Journal Article
%A Castanet, R.
%T Sémantique formelle des opérateurs d'un langage de listes
%J Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
%D 1974
%P 19-36
%V 8
%N R3
%I Dunod-Gauthier-Villars
%C Paris
%U http://www.numdam.org/item/ITA_1974__8_3_19_0/
%G fr
%F ITA_1974__8_3_19_0
Castanet, R. Sémantique formelle des opérateurs d'un langage de listes. Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, 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 | Zbl

[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 | Zbl

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

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

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

[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 | Zbl

[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

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