Index

_

__iter__() (lambda_calculus.terms.Term method) __str__() (lambda_calculus.terms.Abstraction method) (lambda_calculus.terms.Application method) (lambda_calculus.terms.Term method) (lambda_calculus.terms.Variable method)

A

abstract() (lambda_calculus.terms.Term method) Abstraction (class in lambda_calculus) (class in lambda_calculus.terms) accept() (lambda_calculus.terms.Abstraction method) (lambda_calculus.terms.Application method) (lambda_calculus.terms.Term method) (lambda_calculus.terms.Variable method) ADD (in module lambda_calculus.terms.arithmetic)

alpha_conversion() (lambda_calculus.terms.Abstraction method) AND (in module lambda_calculus.terms.logic) Application (class in lambda_calculus) (class in lambda_calculus.terms) apply_to() (lambda_calculus.terms.Term method) ascend_abstraction() (lambda_calculus.visitors.BottomUpVisitor method) (lambda_calculus.visitors.walking.DepthFirstVisitor method) ascend_application() (lambda_calculus.visitors.BottomUpVisitor method) (lambda_calculus.visitors.walking.DepthFirstVisitor method)

B

B (in module lambda_calculus.terms.combinators) beta_reducation() (lambda_calculus.visitors.normalisation.BetaNormalisingVisitor method) beta_reduction() (lambda_calculus.terms.Application method) BetaNormalisingVisitor (class in lambda_calculus.visitors.normalisation) bind_variable() (lambda_calculus.visitors.substitution.checked.CheckedSubstitution method)

BottomUpVisitor (class in lambda_calculus.visitors) bound_variables() (lambda_calculus.terms.Abstraction method) (lambda_calculus.terms.Application method) (lambda_calculus.terms.Term method) (lambda_calculus.terms.Variable method)

C

C (in module lambda_calculus.terms.combinators) CheckedSubstitution (class in lambda_calculus.visitors.substitution.checked) CollisionError

Conversion (class in lambda_calculus.visitors.normalisation) CountingSubstitution (class in lambda_calculus.visitors.substitution.renaming) curried() (lambda_calculus.terms.Abstraction class method)

D

defer_abstraction() (lambda_calculus.visitors.DeferrableVisitor method) (lambda_calculus.visitors.substitution.DeferrableSubstitution method) (lambda_calculus.visitors.substitution.renaming.RenamingSubstitution method) (lambda_calculus.visitors.substitution.unsafe.UnsafeSubstitution method) defer_application() (lambda_calculus.visitors.DeferrableVisitor method) (lambda_calculus.visitors.substitution.DeferrableSubstitution method) (lambda_calculus.visitors.substitution.renaming.RenamingSubstitution method) (lambda_calculus.visitors.substitution.unsafe.UnsafeSubstitution method)

DeferrableSubstitution (class in lambda_calculus.visitors.substitution) DeferrableVisitor (class in lambda_calculus.visitors) DELTA (in module lambda_calculus.terms.combinators) DepthFirstVisitor (class in lambda_calculus.visitors.walking)

E

eta_reduction() (lambda_calculus.terms.Abstraction method)

F

FALSE (in module lambda_calculus.terms.logic) FIRST (in module lambda_calculus.terms.pairs) free_variables() (lambda_calculus.terms.Abstraction method) (lambda_calculus.terms.Application method) (lambda_calculus.terms.Term method) (lambda_calculus.terms.Variable method)

from_substitution() (lambda_calculus.visitors.substitution.checked.CheckedSubstitution class method) (lambda_calculus.visitors.substitution.renaming.CountingSubstitution class method) (lambda_calculus.visitors.substitution.Substitution class method) (lambda_calculus.visitors.substitution.unsafe.UnsafeSubstitution class method)

I

I (in module lambda_calculus.terms.combinators) IF_THEN_ELSE (in module lambda_calculus.terms.logic) is_beta_normal_form() (lambda_calculus.terms.Abstraction method) (lambda_calculus.terms.Application method) (lambda_calculus.terms.Term method) (lambda_calculus.terms.Variable method)

is_combinator() (lambda_calculus.terms.Term method) is_redex() (lambda_calculus.terms.Application method) ISZERO (in module lambda_calculus.terms.arithmetic)

K

K (in module lambda_calculus.terms.combinators)

L

lambda_calculus module lambda_calculus.errors module lambda_calculus.terms module lambda_calculus.terms.abc module lambda_calculus.terms.arithmetic module lambda_calculus.terms.combinators module lambda_calculus.terms.logic module lambda_calculus.terms.pairs module

lambda_calculus.visitors module lambda_calculus.visitors.normalisation module lambda_calculus.visitors.substitution module lambda_calculus.visitors.substitution.checked module lambda_calculus.visitors.substitution.renaming module lambda_calculus.visitors.substitution.unsafe module lambda_calculus.visitors.walking module

M

module lambda_calculus lambda_calculus.errors lambda_calculus.terms lambda_calculus.terms.abc lambda_calculus.terms.arithmetic lambda_calculus.terms.combinators lambda_calculus.terms.logic lambda_calculus.terms.pairs lambda_calculus.visitors lambda_calculus.visitors.normalisation lambda_calculus.visitors.substitution lambda_calculus.visitors.substitution.checked lambda_calculus.visitors.substitution.renaming lambda_calculus.visitors.substitution.unsafe lambda_calculus.visitors.walking

MULTIPLY (in module lambda_calculus.terms.arithmetic)

N

NIL (in module lambda_calculus.terms.pairs) NOT (in module lambda_calculus.terms.logic)

NULL (in module lambda_calculus.terms.pairs) number() (in module lambda_calculus.terms.arithmetic)

O

OMEGA (in module lambda_calculus.terms.combinators)

OR (in module lambda_calculus.terms.logic)

P

PAIR (in module lambda_calculus.terms.pairs) POWER (in module lambda_calculus.terms.arithmetic)

PREDECESSOR (in module lambda_calculus.terms.arithmetic) prevent_collision() (lambda_calculus.visitors.substitution.renaming.CountingSubstitution method) (lambda_calculus.visitors.substitution.renaming.RenamingSubstitution method)

R

RenamingSubstitution (class in lambda_calculus.visitors.substitution.renaming)

replace() (lambda_calculus.terms.Abstraction method) (lambda_calculus.terms.Application method)

S

S (in module lambda_calculus.terms.combinators) SECOND (in module lambda_calculus.terms.pairs) skip_intermediate() (lambda_calculus.visitors.normalisation.BetaNormalisingVisitor method)

substitute() (lambda_calculus.terms.Term method) Substitution (class in lambda_calculus.visitors.substitution) SUBTRACT (in module lambda_calculus.terms.arithmetic) SUCCESSOR (in module lambda_calculus.terms.arithmetic)

T

Term (class in lambda_calculus.terms) trace() (lambda_calculus.visitors.substitution.renaming.RenamingSubstitution method)

TracingDecorator (class in lambda_calculus.visitors.substitution.renaming) TRUE (in module lambda_calculus.terms.logic)

U

unbind_variable() (lambda_calculus.visitors.substitution.checked.CheckedSubstitution method)

UnsafeSubstitution (class in lambda_calculus.visitors.substitution.unsafe)

V

Variable (class in lambda_calculus) (class in lambda_calculus.terms) visit() (lambda_calculus.visitors.Visitor method) visit_abstraction() (lambda_calculus.visitors.BottomUpVisitor method) (lambda_calculus.visitors.normalisation.BetaNormalisingVisitor method) (lambda_calculus.visitors.substitution.checked.CheckedSubstitution method) (lambda_calculus.visitors.substitution.DeferrableSubstitution method) (lambda_calculus.visitors.substitution.renaming.TracingDecorator method) (lambda_calculus.visitors.substitution.Substitution method) (lambda_calculus.visitors.Visitor method) visit_application() (lambda_calculus.visitors.BottomUpVisitor method) (lambda_calculus.visitors.normalisation.BetaNormalisingVisitor method) (lambda_calculus.visitors.substitution.checked.CheckedSubstitution method) (lambda_calculus.visitors.substitution.DeferrableSubstitution method) (lambda_calculus.visitors.substitution.renaming.TracingDecorator method) (lambda_calculus.visitors.substitution.Substitution method) (lambda_calculus.visitors.Visitor method)

visit_variable() (lambda_calculus.visitors.normalisation.BetaNormalisingVisitor method) (lambda_calculus.visitors.substitution.checked.CheckedSubstitution method) (lambda_calculus.visitors.substitution.renaming.RenamingSubstitution method) (lambda_calculus.visitors.substitution.renaming.TracingDecorator method) (lambda_calculus.visitors.substitution.unsafe.UnsafeSubstitution method) (lambda_calculus.visitors.Visitor method) (lambda_calculus.visitors.walking.DepthFirstVisitor method) Visitor (class in lambda_calculus.visitors)

W

W (in module lambda_calculus.terms.combinators)

with_arguments() (lambda_calculus.terms.Application class method) with_valid_name() (lambda_calculus.terms.Variable class method)

Y

Y (in module lambda_calculus.terms.combinators)