Posts filed under 'lambda calculus':

• June 7, 2012 - CSMM - Lesson 1.1: Introduction to the Lambda Calculus
• June 14, 2012 - CSMM - Lesson 1.2: Arithmetic in the Lambda Calculus
• June 26, 2012 - CSMM - Lesson 1.3: Boolean Logic in the Lambda Calculus
• June 29, 2012 - CSMM - Lesson 1.4: Advanced Logic and Arithmetic in the Lambda Calculus
• July 3, 2012 - CSMM - Lesson 1.5: Flow-control and Recursion in the Lambda Calculus
• October 19, 2012 - Theory Time - A pure lambda-calculus foundation for prototype-based OOP