A consistent extension of the lambda-calculus as a base for functional programming languages

  • Berkling K
  • Fehr E
  • 5


    Mendeley users who have this article in their library.
  • 9


    Citations of this article.


Church's lambda-calculus is modified by introducing a new mechanism, the lambda-bar operator #, which neutralizes the effect of one preceding lambda binding. This operator can be used in such a way that renaming of bound variables in any reduction sequence can be avoided, with the effect that efficient interpreters with comparatively simple machine organization can be designed. It is shown that any semantic model of the pure λ-calculus also serves as a model of this modified reduction calculus, which guarantees smooth semantic theories. The Berkling Reduction Language (BRL) is a new functional programming language based upon this modification. © 1982 Academic Press, Inc.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Klaus J. Berkling

  • Elfriede Fehr

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free