A Consistent Extension of the Lambda Calculus as a Base for Functional Programming Languages. Information and Control (1982)

by Klaus Berkling, E Fehr