Lambda Calculus and Lambda Calculators - This FTP site

Several lambda-calculators and many applications of lambda calculus ... Lambda Calculus and Lambda Calculators Numerals and lists in lambda-calculus: P-numerals Negative numbers, subtraction and division in lambda-calculus

okmij.org