|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
Abstraction | Abstraction of a Term relatively to a set of linear variables. |
Application | Application of a function to an argument. |
Term | A term of the lambda-calculus. |
TermReducer | Lambda Term reducer. |
Variable | A free or bound variable. |
|
|||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |