Package API
Implementation of the Lambda calculus
- final class lambda_calculus.Variable(name: V)[source]
Bases:
Term
[V
]Term consisting of a Variable
- Parameters
name – Name of the Variable
Reference to
terms.Variable
for convenience
- final class lambda_calculus.Abstraction(bound: V, body: Term[V])[source]
Bases:
Term
[V
]Term consisting of a lambda abstraction.
- Parameters
bound – variable to be bound by this abstraction
body – term to be abstracted
Reference to
terms.Abstraction
for convenience