Книги по лямбда исчислению ?

Ммм, а можешь сделать доброе дело и отсканить? (другой анонимус)

надо было предупреждать

надо было спрашивать

можешь сделать доброе дело и отсканить?

напиши мне в почту, другой анонимус, и тогда я скорее всего не забуду

>а что там у тебя есть? ворованная кнопка пуск?

А у тебя, видать, больше ничего нет, кроме халявной кнопки?

Galois Connections and Applications

Гальюн: соединение и приложение?

>и тогда я скорее всего не забуду

может и тут тогда выложишь для других анонимусов?

Кажется, у тебя что-то с глазами. Ты промазал по кнопке ответить и ответил не на то сообщение.

может и тут тогда выложишь для других анонимусов?

ок

jtootf++

Я бы тоже не отказался почитать.

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

>ок

и?

и?

когда будет не лень, тогда и сделаю

анонимусы такие анонимусы, эх

Лор, такой лор.

>когда будет не лень, тогда и сделаю

сам же согласился сделать, за язык никто не тянул.

анонимусы такие анонимусы, эх

jtootf такой jtootf.

сам же согласился сделать, за язык никто не тянул.

и? сказал - сделаю

> по основам функционального программирования

SICP

лямбда исчислению

Труды Алонзо Чёрча.

>и? сказал - сделаю
До или после того, как Солнце потухнет?

До или после того, как Солнце потухнет?

ты куда-то спешишь? :)

Ну ты, онанимус, в конец о***л. Сделают тебе - скажи «спасибо». Не сделают - ну ты понел. И хватит бампать тред.

http://www.rapidshare.ru/1359814
Дамп гуглбука. ~50 страниц не хватает, но пока jtootf занят, можно начать читать.