Algebraic definition of a functional programming language and its semantic models
RAIRO. Inform. théor., 17 2 (1983) 137-161
Published online: 01 February 2017
DOI: 10.1051/ita/1983170201371