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

Klaus J. Berkling, Elfriede Fehr (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics