Note sur l'algèbre des fonctions
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 9 (1975) no. R3, p. 25-49
@article{ITA_1975__9_3_25_0,
     author = {Raymond, F. H.},
     title = {Note sur l'alg\`ebre des fonctions},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     publisher = {EDP-Sciences},
     volume = {9},
     number = {R3},
     year = {1975},
     pages = {25-49},
     zbl = {0362.68058},
     mrnumber = {421136},
     language = {fr},
     url = {http://www.numdam.org/item/ITA_1975__9_3_25_0}
}
Raymond, F. H. Note sur l'algèbre des fonctions. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 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 0145.24204

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

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

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

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

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

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