затягивает чтение...

[juan_gandhi]

http://ncatlab.org/nlab/show/partial+combinatory+algebra

Так из нефиг делать лямбды лепятся в ССС и в топосе...

Comments

[66george.livejournal.com]

От изобретения моделей Скотта была одна немедленная польза: решили старый вопрос "какие лямда-термы следует считать зацикленными". В моделях есть наименьший элемент, ему равны термы без головной нормальной формы. Посмотрев на модели, Уодсворт придумал головную нормальную форму.

У меня к программистам такие же претензии "Почему не написать человеческим языком?" Ищу понятный текст вроде "Как взломать vbulletin", нахожу или дикий жаргон (типа "засунь парсер в обфускатор") или комиксы с поросятами. Связного изложения, от простого к сложному, без жаргона почти не найдёшь. Но это общая проблема, не только у программистов.

[pbl.livejournal.com]

Именно, общая проблема. У меня те же самые претензии к погромистам.