| Lambda Cube |
Article Index for Lambda |
Website Links For Lambda |
Information AboutLambda Cube |
| CATEGORIES ABOUT LAMBDA CUBE | |
| lambda calculus | |
All eight calculi include the most basic form of abstraction, terms depending on terms, ordinary functions as in the simply-typed lambda calculus. The idea of the cube is due to the mathematician Henk Barendregt (1991). SEE ALSO REFERENCES
|
|
|