pure lambda-calculus

Lambda-calculus with no constants, only functions expressed as lambda abstractions.

Last updated: 1994-10-27


Loading