%0 Journal Article %A Broy, Manfred %A Wirsing, Martin %T Algebraic definition of a functional programming language and its semantic models %J RAIRO. Informatique théorique %D 1983 %P 137-161 %V 17 %N 2 %I EDP-Sciences %U http://archive.numdam.org/item/ITA_1983__17_2_137_0/ %G en %F ITA_1983__17_2_137_0