Note sur l'algèbre des fonctions
Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 9 (1975) no. R3, pp. 25-49.
@article{ITA_1975__9_3_25_0,
     author = {Raymond, F. H.},
     title = {Note sur l'alg\`ebre des fonctions},
     journal = {Revue fran\c{c}aise d'automatique informatique recherche op\'erationnelle. Informatique th\'eorique},
     pages = {25--49},
     publisher = {Dunod-Gauthier-Villars},
     address = {Paris},
     volume = {9},
     number = {R3},
     year = {1975},
     mrnumber = {421136},
     zbl = {0362.68058},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1975__9_3_25_0/}
}
TY  - JOUR
AU  - Raymond, F. H.
TI  - Note sur l'algèbre des fonctions
JO  - Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
PY  - 1975
SP  - 25
EP  - 49
VL  - 9
IS  - R3
PB  - Dunod-Gauthier-Villars
PP  - Paris
UR  - http://www.numdam.org/item/ITA_1975__9_3_25_0/
LA  - fr
ID  - ITA_1975__9_3_25_0
ER  - 
%0 Journal Article
%A Raymond, F. H.
%T Note sur l'algèbre des fonctions
%J Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
%D 1975
%P 25-49
%V 9
%N R3
%I Dunod-Gauthier-Villars
%C Paris
%U http://www.numdam.org/item/ITA_1975__9_3_25_0/
%G fr
%F ITA_1975__9_3_25_0
Raymond, F. H. Note sur l'algèbre des fonctions. Revue française d'automatique informatique recherche opérationnelle. Informatique théorique, Tome 9 (1975) no. R3, pp. 25-49. http://www.numdam.org/item/ITA_1975__9_3_25_0/

[1] J. Arsac, Les langages sans étiquettes. Publication 73/13. Institut de Programmation. Université de Paris VI.

[2] C. Bohm et G. Jacopini, Flow diagrams, Turing machines and languages with only two formation rules, Comm. ACM, may 1966, vol. 9, n° 5, 366-371. | Zbl

[3] J. Cadiou, Recursive definitions of partial functions and their conditions. Ph D, thesis. Computer Science department, Stanford University. June 1972.

[4] S. C. Kleene, Introduction to Metamathematics (the récursion theorem, p. 348). Van Nostrand, 1952. | Zbl

[5] J. Kott, Remarques sur la structure des schémas de programme, in Théorie des automates, des langages et de la programmation, Colloques IRIA, 1972, pp. 191-194. | Zbl

[6] A. L. Malcev, Algorithms and recursive functions, Wolters-Noardhoff Publishing Corp. Netherlands, 1970. | Zbl

[7] H. D. Mills, The new Math of Computer Programming. Com. ACM, January 1975, vol. 18, n° 1, pp. 43-48. | Zbl

[8] R. E. Prather, A convenient Cryptomorphic Version of Recursive Function Theory in Information and Control, vol. 27, n° 2, February 1975, pp. 178-195. | Zbl

[9] F. H. Raymond, Tentative de formalisation en informatique, in Structure et programmation des calculateurs, Séminaires IRIA, 1972, pp. 201-248.

Et : Formalisation du concept de calcul. Publications 25 et 32, 1972-1973, Institut de Programmation, Université Paris VI.

[10] F. H. Raymond Algèbre des fonctions. Cours du CNAM. Éditions Scientifiques Riber, Paris, 1974.