1. How to program in the pure lambda calculus (Scheme and OCaml options) 2. Chris's Lambda tutorial Other wiki links: Lambda Calculus ... Combinatorial Logic Chris's Iota and Jot