Каковы некоторые ресурсы для изучения Lambda Calculus?

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

Может ли кто-нибудь порекомендовать то, что они считают лучшей книгой или учебником для Lambda Calculus?

Ответы

Ответ 2

Ну, всегда Введение в исчисление лямбда. Я пробовал читать его несколько раз, но всегда застрял. Я чувствую, что я уже знаю большую часть этого материала и, вероятно, будет легче понять это, если бы оно было представлено в терминах Lisp/Scheme, а не математике. Возможно, вам повезет больше:)

Ответ 4

Я думаю, что ссылка на тему самого лямбда-исчисления по-прежнему книга Барендгрета.

alt text http://ecx.images-amazon.com/images/I/41BRXJ7E7GL._SL500_AA240_.jpg

Кроме того, это в значительной степени зависит от того, какую "часть" лямбда-исчисления вы интересуетесь: набрав? доказательная теория? долгосрочная переписывание? функциональное программирование?

Каждое из них - поле само по себе, и я не знаю ни одной книги, которая бы охватывала все это.

Ответ 5

Попробуйте написать интерпретатор лямбда-исчисления, в идеале, на функциональном языке, используя синтаксис языка, а не через синтаксический анализатор. Это удивительно легко и хороший способ улучшить ваше восприятие.

Ответ 6

Недавно я купил книгу от Amazon под названием "Введение в функциональное программирование через исчисление лямбда" Грегом Майклсоном. Это скорее введение в функциональное программирование, а также введение лямбда-исчисления. Первое впечатление очень хорошее. Самостоятельная и легко читаемая книга. Здесь, вы можете скачать бесплатную версию без индекса в PostScript.

Ответ 7

Книга, которая действительно заставила меня начать использовать и понимать лямбда-исчисление, была "Представление и вывод для естественного языка" Блэкберна и Боса. Это книга о обработке естественного языка с использованием Prolog. Другая книга, которую вы можете рассмотреть, - это "Естественное знание языка" Аллена. Наконец, если вам нравится лямбда-исчисление, вам, вероятно, также понравится комбинаторная логика, поскольку комбинаторы могут быть определены как односимвольные лямбда-выражения. Для этого я настоятельно рекомендую книгу загадок Смуллиана "Издеваться над пересмешником". К концу он использует комбинаторы для создания рудиментарного языка программирования.