Haifux - Lecture about Scheme and Lambda Calculus

Scheme

• Output and Variables         (Scheme Code)
• Conditionals         (Scheme Code)
• Functions         (Scheme Code)
• Loops         (Scheme Code)
• Lists         (Scheme Code)

Lambda Calculus

• Introduction         (Scheme Code)
• Booleans, Conditionals and Tuples         (Scheme Code)
• Boolean Operations         (Scheme Code)
• Church Numerals         (Scheme Code)
• Church Numerals Operations         (Scheme Code)
• A Simple Recipe for Recursion         (Scheme Code)
• The Y Combinator         (Scheme Code)
• Common Language Constructs         (Scheme Code)
• Division and Modulo in Church Numerals         (Scheme Code)

Finale

• Final Notes         (Scheme Code)
• References and Links

This lecture in an archive