Package API

• Package terms
  • Module abc
  • Module logic
  • Module arithmetic
  • Module pairs
  • Module combinators
  • Term
  • Variable
  • Abstraction
  • Application
• Package visitors
  • Package substitution
  • Module normalisation
  • Module walking
  • Visitor
  • BottomUpVisitor
  • DeferrableVisitor
• Module errors
  • CollisionError

Implementation of the Lambda calculus

final class lambda_calculus.Variable(name: V)

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])

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

final class lambda_calculus.Application(abstraction: Term[V], argument: Term[V])

Bases: Term[V]

Term consisting of an application.

Parameters

• abstraction – abstraction to be applied

• argument – argument which to apply the abstraction to

Reference to terms.Application for convenience