pure lambda-calculus

Get Babylon's Translation Software! Free Download Now!
Babylon 8 - Your all-in-one solution
Award winning translation software trusted by millions. Translate from any language to any language.
View Demo


FOLDOC DictionaryDownload this dictionary
pure lambda-calculus
Lambda-calculus with no constants, only functions expressed as lambda abstractions.
(1994-10-27)


(c) Copyright 1993 by Denis Howe

Define pure lambda-calculus

Translate pure lambda-calculus