Таким образом, интересная публикация в Википедии Lambda Calculus была интересной, но я ее закончил. Я хочу погрузиться немного глубже и лучше понять Лэмбда Исчисление.
Может ли кто-нибудь порекомендовать то, что они считают лучшей книгой или учебником для Lambda Calculus?