I am also interested in where the lambda calculus is referenced, I do not see it in the index.