• Alligator Eggs!
  in Public bookmarks with educational functional-programming games lambda-calculus
• An Introduction to Lambda Calculus and Scheme
  in Public bookmarks with computer-science lambda-calculus scheme
• Barendregt: Lambda Calculus
  in Public bookmarks with books lambda-calculus
• Lambda Calculus: Oxford Course, with Notes
  in Public bookmarks with computer-science course lambda-calculus programming-languages theory
• To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
  in Public bookmarks with functional-programming lambda-calculus
• Type Theory and Functional Programming
  Free book (1991), by Simon Thompson
  in Public bookmarks with book functional-programming lambda-calculus type-theory

lambda-calculus from all users