Get Babylon's Translation Software!
Free Download Now!
| FOLDOC Dictionary | Download 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
