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

Licence

To the extent possible under law, Shlomi Fish has waived all copyright and related or neighboring rights to Lecture about Scheme and Lambda Calculus. This work is published from Israel.

This lecture in an archive