A Modification of the Lambda-Calculus as a Base for Functional Programming Languages.

Klaus J. Berkling Elfriede Fehr A Modification of the Lambda-Calculus as a Base for Functional Programming Languages. 35-47 1982 conf/icalp/1982 ICALP db/conf/icalp/icalp82.html#BerklingF82 http://dx.doi.org/10.1007/BFb0012755