Computer program:

• Lambda algebra calculator
  Windows application which puts elements in admissible form and computes their differentials. Last upgraded 1/2/03.
  Lambda Calculator
  Word document user manual