Free Access
RAIRO-Theor. Inf. Appl.
Volume 22, Number 3, 1988
Page(s) 341 - 360
Published online 01 February 2017
  1. 1. J. W. BACKUS, Can Programming Be Liberated from the Von Neumann Style? A Functional Style and its Algebra of Programs, C.A.C.M., Vol. 1, N° 8, 1978,pp. 613-641. [MR: 520392] [Zbl: 0383.68013] [Google Scholar]
  2. 2. H. P. BARENDREGT, The Lambda-Calculus, its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, Vol. 103, North Holland, 1981. [MR: 622912] [Zbl: 0467.03010] [Google Scholar]
  3. 3. A. BELKHIR, Programmation fonctionnelle et parallélisme, Rapport Gréco de Programmation, 1986. [Google Scholar]
  4. 4. F. BELLEGARDE, Rewriting Systems on FP Expressions that reduce the Number of Sequences they Yields, A.C.M. Symposium on Lisp and Functional Programming, Austin, 1984. [Google Scholar]
  5. 5. P. BELLOT, Propriétés logico-combinatoires des systèmes de programmation sans variable, Thèse 3e cycle, U.P.M.C. Paris-VI, Rapport LITP 84-30, 1983. [Zbl: 0527.68007] [Google Scholar]
  6. 6. P. BELLOT, High order Programming in Extended FP, FPCA 85, LNCS 201 J. P. JOUANNAUD Ed., pp. 65-80, Nancy, 1985. [Zbl: 0574.68013] [Google Scholar]
  7. 7. P. BELLOT, Sur les sentiers du Graal, étude, conception et réalisation d'un langage de programmation sans variable, Thèse d'État, U.P.M.C. Paris-VI, Rapport LITP 86-62, 1986. [Google Scholar]
  8. 8. P. BELLOT, Graal: a Functional Programming System with Uncurryfied Combinators and its Reduction Machine, ESOP86, LNCS 213, B. ROBINET Ed., pp. 82-98, Saarbrucken, 1986. [Zbl: 0587.68002] [Google Scholar]
  9. 9. H. B. CURRY and R. FEYS, Combinatory Logic I, North Holland, 1958. [MR: 94298] [Zbl: 0175.27601] [Google Scholar]
  10. 10.N. GLASER, C. HANKIN and D. TILL, Principles of Functional Programming, Prentice/Hall International, 1984. [MR: 894921] [Zbl: 0649.68002] [Google Scholar]
  11. 11.J. W. KLOP, Combinatory Reduction Systems, Dissertation, University of Utrecht, 1980. [MR: 603274] [Google Scholar]
  12. 12.J. R. HINDLEY and J. P. SELDIN, Introduction to Combinators and Lambda-Calculus, London Mathematical Society, Student Texts 1, Cambridge University Press, 1986. [MR: 879272] [Zbl: 0614.03014] [Google Scholar]
  13. 13.S. C. KLEENE, Introduction to Metamathematics, Van Nostrand 1952. [MR: 51790] [Zbl: 0047.00703] [Google Scholar]
  14. 14.S. C. KLEENE, Introduction to Mathematical Logic, Van Nostrand, 2nd ed., 1979. [MR: 524725] [Google Scholar]
  15. 15. B. ROBINET, Un modèle logico-combinatoire des systèmes de Backus, Rapport LITP 80-21, 1980. [Google Scholar]
  16. 16. D. A. TURNER, A New Implementation Technique for Applicative Language, Software-Practice and Experience, Vol. 9, 1979, pp. 31-49. [Zbl: 0386.68009] [Google Scholar]
  17. 17. E. G. WAGNER, URS : in an Axiomatic Approach to Computability, formation Sciences 1, 1969, pp. 343-362. [MR: 262078] [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.