|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Classes in org.xmloperator.lambda2.term.model used by org.xmloperator.lambda2 | |
TermReducer
Lambda Term reducer. |
Classes in org.xmloperator.lambda2.term.model used by org.xmloperator.lambda2.net.impl | |
Term
A term of the lambda-calculus. |
|
TermReducer
Lambda Term reducer. |
|
Variable
A free or bound variable. |
Classes in org.xmloperator.lambda2.term.model used by org.xmloperator.lambda2.net.model | |
Term
A term of the lambda-calculus. |
Classes in org.xmloperator.lambda2.term.model used by org.xmloperator.lambda2.term.impl | |
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. |
|
Variable
A free or bound variable. |
Classes in org.xmloperator.lambda2.term.model used by org.xmloperator.lambda2.term.model | |
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. |
|
Variable
A free or bound variable. |
Classes in org.xmloperator.lambda2.term.model used by org.xmloperator.lambda2.term.util | |
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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |