EDP Sciences logo
Subscriber Authentication Point
Search
Menu
All issues Volume 9 / No R3 (1975) R.A.I.R.O. Informatique théorique, 9 R3 (1975) 25-49 References
Free Access
Issue
R.A.I.R.O. Informatique théorique
Volume 9, Number R3, 1975
Page(s) 25 - 49
DOI https://doi.org/10.1051/ita/197509R300251
Published online 01 February 2017
  1. J. ARSAC, Les langages sans étiquettes. Publication 73/13. Institut de Programmation. Université de Paris VI. [Zbl: 0291.68030] [Google Scholar]
  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] [Google Scholar]
  3. J. CADIOU, Recursive definitions of partial functions and their conditions. Ph D, thesis. Computer Science department, Stanford University. June 1972. [Google Scholar]
  4. S. C. KLEENE, Introduction to Metamathematics (the récursion theorem, p. 348). Van Nostrand, 1952. [Zbl: 0047.00703] [Google Scholar]
  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] [Google Scholar]
  6. A. L. MALCEV, Algorithms and recursive functions, Wolters-Noardhoff Publishing Corp. Netherlands, 1970. [Zbl: 0198.02501] [Google Scholar]
  7. H. D. MILLS, The new Math of Computer Programming. Com. ACM, January 1975, vol. 18, n° 1, pp. 43-48. [Zbl: 0293.68013] [Google Scholar]
  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] [Google Scholar]
  9. F. H. RAYMOND, Tentative de formalisation en informatique, in Structure et programmation des calculateurs, Séminaires IRIA, 1972, pp. 201-248. [Google Scholar]
  10. Et : Formalisation du concept de calcul. Publications 25 et 32, 1972-1973, Institut de Programmation, Université Paris VI. [Google Scholar]
  11. F. H. RAYMOND Algèbre des fonctions. Cours du CNAM. Éditions Scientifiques Riber, Paris, 1974. [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.