Proposal for a natural formalization of functional programming concepts Patrick Bellot and Djamil Sarni RAIRO-Theor. Inf. Appl., 22 3 (1988) 341-360 Published online: 01 February 2017 DOI: 10.1051/ita/1988220303411