前スレで紹介された関連書籍

Friedman, Felleisen "Little Schemer"
Sussman, Abelson, Sussman "Structure and Interpretation of Computer Programs"
Chris Hankin "An Introduction to Lambda Calculi for Computer Scientists"
Raymond Smullyan "To Mock A Mockingbird"
W. Kluge "Abstract Computing Machines: A Lambda Calculus Perspective"
Friedman, Wand, Haynes "Essentials of Programming Language"