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