람다 대수

람다 대수(Lambda Calculus)와 함수형 프로그래밍의 기원: 알론조 처치의 이론에서 Lisp, Haskell까지