17 The Scheme Programming Language and Lambda Calculus Shlomi Fish 28/5/2000