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) FinaleFinal Notes (Scheme Code) References and Links