Proposal for a natural formalization of functional programming concepts Patrick Bellot; Djamil Sarni — 1988 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications