Lambda Calculus Examples

• Definining basic constants and operators in Lambda Calculus:
  • [Booleans] [Integers] [Lists]
• Recursion in Lambda Calculus:
  • Fixed-Point Operator Y [lazy] & [strict] versions
• [Lists]
• [Trees]
• Primes - [Sieve of Eratosthenese]
• State, memory, output
  • [1] direct, [2] continuations
• Lambda Calculus [Circular Programs]:
  • [Unique] - remove duplicates from a list
  • [Fibonacci Numbers]
    • [Fib' memo-tree]
  • [Hamming Numbers]
  • [Composite and Prime numbers]
  • [Thue Sequences]
• [String Edit Distance] (3 versions)

Also see

• L. Allison, 'Lazy Dynamic Programming Can Be Eager', Information Processing Letters, 43(4), pp.207-212, doi:10.1016/0020-0190(92)90202-7, September 1992.
• L. Allison, 'Applications of Recursively Defined Data Structures', Aust. Computer Journal, 25(1), pp.14-20, [more], February 1993.
• L. Allison, 'Circular Programs and Self-Referential Structures', Software Practice and Experience, 19(2), pp.99-109, doi:10.1002/spe.4380190202, February 1989.