Good Math/Bad Math
Finding the fun in good math; Shredding bad math and squashing the crackpots who espouse it.
Saturday, June 03, 2006
Lamda Calculus (Index)
My Favorite Calculus: Lambda (part 1)
The Genius of Alonzo Church: Numbers in Lambda Calculus
Booleans and Choice in Lambda Calculus
Why oh why Y?
From Lambda calculus to Combinator Calculus
Types in Lambda Calculus
Finally, Modeling Lambda Calculus: Programs are Proofs!
No comments:
Post a Comment
‹
›
Home
View web version
No comments:
Post a Comment