Talk about Scheme and Lambda Calculus
These slides introduce the reader to the Scheme programming language, which is a relatively minimalistic dialect of LISP. It then uses it to teach about Lambda Calculus, which is a minimalistic Turing-complete environment with only two primitives, but one that is still quite usable.