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)