Package org.xmloperator.lambda2.term.model

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.