# Posts filed under 'predicates':

- 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

front page | about | archives | code dump | c.s. for mere mortals | tags | rss feed

- 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