Note sur l'algèbre des fonctions

F. H. Raymond

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications (1975)

  • Volume: 9, Issue: R3, page 25-49
  • ISSN: 0988-3754

How to cite

top

Raymond, F. H.. "Note sur l'algèbre des fonctions." RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications 9.R3 (1975): 25-49. <http://eudml.org/doc/92023>.

@article{Raymond1975,
author = {Raymond, F. H.},
journal = {RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications},
language = {fre},
number = {R3},
pages = {25-49},
publisher = {EDP-Sciences},
title = {Note sur l'algèbre des fonctions},
url = {http://eudml.org/doc/92023},
volume = {9},
year = {1975},
}

TY - JOUR
AU - Raymond, F. H.
TI - Note sur l'algèbre des fonctions
JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY - 1975
PB - EDP-Sciences
VL - 9
IS - R3
SP - 25
EP - 49
LA - fre
UR - http://eudml.org/doc/92023
ER -

References

top
  1. [1] J. ARSAC, Les langages sans étiquettes. Publication 73/13. Institut de Programmation. Université de Paris VI. Zbl0291.68030
  2. [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. Zbl0145.24204
  3. [3] J. CADIOU, Recursive definitions of partial functions and their conditions. Ph D, thesis. Computer Science department, Stanford University. June 1972. 
  4. [4] S. C. KLEENE, Introduction to Metamathematics (the récursion theorem, p. 348). Van Nostrand, 1952. Zbl0047.00703
  5. [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. Zbl0262.68005
  6. [6] A. L. MALCEV, Algorithms and recursive functions, Wolters-Noardhoff Publishing Corp. Netherlands, 1970. Zbl0198.02501
  7. [7] H. D. MILLS, The new Math of Computer Programming. Com. ACM, January 1975, vol. 18, n° 1, pp. 43-48. Zbl0293.68013
  8. [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. Zbl0306.02031
  9. [9] F. H. RAYMOND, Tentative de formalisation en informatique, in Structure et programmation des calculateurs, Séminaires IRIA, 1972, pp. 201-248. 
  10. Et : Formalisation du concept de calcul. Publications 25 et 32, 1972-1973, Institut de Programmation, Université Paris VI. 
  11. [10] F. H. RAYMONDAlgèbre des fonctions. Cours du CNAM. Éditions Scientifiques Riber, Paris, 1974. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.