1. Perl and the Lambda Calculus
2. What is the Lambda Calculus?
3. Turing Machine
4. Turing Machines
5. Lambda-Calculus
7. Abstraction
8. Application
9. Application Example
10. Application
11. Abstraction Again
12. Goal
13. Values
14. Church-Rosser theorem
15. Undefined Values
16. Currying
18. Boolean Values
19. Boolean Value Example
21. Data Structures
22. Ordered Pairs
23. Ordered Pair Example
25. Numbers
26. Number Example
27. Arithmetic
28. Recursion
29. Fixed Points
30. o For any _f_,
31. Y = IMG:lambda-6.gif:_f_.(IMG:lambda-6.gif:_x_.(_f_ (_x_ _x_)) IMG:lambda-6.gif:_x_.(_f_ (_x_ _x_)))
32. Return from Digression
33. OK, We're Done
34. Building an Interpreter
35. There's a Catch
36. Applicative Order Solution
38. IMG:lambda-4.gif:-Calculus in Perl
39.