@article{ITA_1988__22_3_341_0, author = {Bellot, Patrick and Sarni, Djamil}, title = {Proposal for a natural formalization of functional programming concepts}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {341--360}, publisher = {EDP-Sciences}, volume = {22}, number = {3}, year = {1988}, mrnumber = {963596}, zbl = {0648.68041}, language = {en}, url = {http://www.numdam.org/item/ITA_1988__22_3_341_0/} }
TY - JOUR AU - Bellot, Patrick AU - Sarni, Djamil TI - Proposal for a natural formalization of functional programming concepts JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1988 SP - 341 EP - 360 VL - 22 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1988__22_3_341_0/ LA - en ID - ITA_1988__22_3_341_0 ER -
%0 Journal Article %A Bellot, Patrick %A Sarni, Djamil %T Proposal for a natural formalization of functional programming concepts %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1988 %P 341-360 %V 22 %N 3 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1988__22_3_341_0/ %G en %F ITA_1988__22_3_341_0
Bellot, Patrick; Sarni, Djamil. Proposal for a natural formalization of functional programming concepts. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 22 (1988) no. 3, pp. 341-360. http://www.numdam.org/item/ITA_1988__22_3_341_0/
1. 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 | Zbl
,2. The Lambda-Calculus, its Syntax and Semantics, Studies in Logic and the Foundations of Mathematics, Vol. 103, North Holland, 1981. | MR | Zbl
,3. Programmation fonctionnelle et parallélisme, Rapport Gréco de Programmation, 1986.
,4. Rewriting Systems on FP Expressions that reduce the Number of Sequences they Yields, A.C.M. Symposium on Lisp and Functional Programming, Austin, 1984.
,5. 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.
,6. High order Programming in Extended FP, FPCA 85, LNCS 201 J. P. JOUANNAUD Ed., pp. 65-80, Nancy, 1985. | Zbl
,7. 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.
,8. Graal: a Functional Programming System with Uncurryfied Combinators and its Reduction Machine, ESOP86, LNCS 213, B. ROBINET Ed., pp. 82-98, Saarbrucken, 1986. | Zbl
,9. Combinatory Logic I, North Holland, 1958. | MR | Zbl
and ,10.Principles of Functional Programming, Prentice/Hall International, 1984. | MR | Zbl
, and ,11.Combinatory Reduction Systems, Dissertation, University of Utrecht, 1980. | MR
,12.Introduction to Combinators and Lambda-Calculus, London Mathematical Society, Student Texts 1, Cambridge University Press, 1986. | MR | Zbl
and ,13.Introduction to Metamathematics, Van Nostrand 1952. | MR | Zbl
,14.Introduction to Mathematical Logic, Van Nostrand, 2nd ed., 1979. | MR
,15. Un modèle logico-combinatoire des systèmes de Backus, Rapport LITP 80-21, 1980.
,16. A New Implementation Technique for Applicative Language, Software-Practice and Experience, Vol. 9, 1979, pp. 31-49. | Zbl
,17. URS : in an Axiomatic Approach to Computability, formation Sciences 1, 1969, pp. 343-362. | MR
,