@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://archive.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://archive.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://archive.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://archive.numdam.org/item/ITA_1974__8_3_19_0/
[1] 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] 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] The calculi of lambda conversion, Princeton University Press (Princeton), 1941. | JFM | MR | Zbl
,[3] Combinatory logic, 1, North Holland (Amsterdam), 1958. | MR | Zbl
et ,[4] Logique combinatoire et algorithmes, C. R. Acad. Sc. Paris, série A, 272 (1972), 1435-1438 et 1485-1488. | MR | Zbl
,[5] 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] Sémantique des tableaux : Application au langage APL. Thèse 3e cycle, Université Paris, 6 (1972).
,[7] A formal description of APL, Actes du congrès APL, IRIA, Rocquencourt (1971).
and ,[8] Symetric List Processor, Comm. ACM, vol. 6, n° 9 (1963), 524-544. | MR | Zbl
,[9] LISP 1.5 Programmer's Manual, MIT Press, Cambridge Mass. (1962).
,[10] A programmer's description of L6. Comm. ACM, vol. 7 (1965), 623-625.
,[11] The CUCH as a formal and description language, in Formal language, description language, STEEL (1964).
,[12] Programming, information structures and machine organisation, McGraw Hill, New York (1968). | MR
,[13] Lambda K formulae for vectors operators, Int. Comp. center Bull., 4 (1965), 157-174.
,