Show that -calculus can indeed compute anything interesting
How?
Build a programming language
Values
Conditional tests
Data structures
Numbers
Arithmetic