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]
  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.
  10. Et : Formalisation du concept de calcul. Publications 25 et 32, 1972-1973, Institut de Programmation, Université Paris VI.
  11. F. H. RAYMOND Algèbre des fonctions. Cours du CNAM. Éditions Scientifiques Riber, Paris, 1974.

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.