Uses of Package
org.xmloperator.lambda2.term.model

Packages that use org.xmloperator.lambda2.term.model
org.xmloperator.lambda2   
org.xmloperator.lambda2.net.impl   
org.xmloperator.lambda2.net.model   
org.xmloperator.lambda2.term.impl   
org.xmloperator.lambda2.term.model   
org.xmloperator.lambda2.term.util   
 

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.