Proposal for a natural formalization of functional programming conceptsPatrick Bellot and Djamil SarniRAIRO-Theor. Inf. Appl., 22 3 (1988) 341-360DOI: https://doi.org/10.1051/ita/1988220303411
