Algebra and the Lambda Calculus. Aubrey describes how he implemented lambda calculus in "Jacal'" a symbolic mathematics system for the simplification manipulation of equations.