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

Klaus J. Berkling, Elfriede Fehr

Browse the full ICALP paper archive.