Не издаются книги на русском по лямбда-исчислению

[creative]

Очень странно, что на русском языке так мало литературы по лямбда-исчислению и более того она больше не издается.
С чем это связано?

[cupuyc]

creative с непопулярностью.

[Maslov]

Захарьящев М.В. (ред.), Янова Ю.И. (ред.) Математическая логика в программировании

Benjamin C. Pierce Types and Programming Languages (TAPL)
Перевод: Бенджамин Пирс "Типы в языках программирования"

[Portnov]

Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика.

[creative]

Maslov в сообщении #431411 писал(а):

Захарьящев М.В. (ред.), Янова Ю.И. (ред.) Математическая логика в программировании

Спасибо. Книжка интересная. Пока буду довольствоваться сканом. Но опять же к вопросу, о том что они не издаются в бумажном виде.

Maslov в сообщении #431411 писал(а):

Benjamin C. Pierce Types and Programming Languages (TAPL)
Перевод: Бенджамин Пирс "Типы в языках программирования"

Уже скачивал. Бумажный вариант не нашел.

Portnov в сообщении #431446 писал(а):

Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика.

Знаю эту книжку. Она есть в электронном виде, но не издается.
Мне повезло, я прямо только что купил её в бумажном варианте издательства "Мир" 1985 года

[creative]

Книга Пирса очень классная для новичков! Жаль, что не издается и даже подержанную никто не продает

[wolf.ram]

creative
Вы с СПб?

[creative]

wolf.ram
Из Москвы.