@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] Les langages sans étiquettes. Publication 73/13. Institut de Programmation. Université de Paris VI.
,[2] Flow diagrams, Turing machines and languages with only two formation rules, Comm. ACM, may 1966, vol. 9, n° 5, 366-371. | Zbl
et ,[3] Recursive definitions of partial functions and their conditions. Ph D, thesis. Computer Science department, Stanford University. June 1972.
,[4] Introduction to Metamathematics (the récursion theorem, p. 348). Van Nostrand, 1952. | Zbl
,[5] 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] Algorithms and recursive functions, Wolters-Noardhoff Publishing Corp. Netherlands, 1970. | Zbl
,[7] The new Math of Computer Programming. Com. ACM, January 1975, vol. 18, n° 1, pp. 43-48. | Zbl
,[8] A convenient Cryptomorphic Version of Recursive Function Theory in Information and Control, vol. 27, n° 2, February 1975, pp. 178-195. | Zbl
,[9] 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] Algèbre des fonctions. Cours du CNAM. Éditions Scientifiques Riber, Paris, 1974.