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

[juan_gandhi]

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

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

Comments

[anhinga-anhinga.livejournal.com]

Собственно, если бы не появившаяся в какой-то момент мода включать полиномиальную эквивалентность по run-time complexity в тезис Чёрча, то было бы совсем не важно...

Но когда люди стали это делать (все широко используемые системы, вроде, полиномиально эквивалентны), то некоторое количество систем перестало быть first-class citizens...

И есть ощущение, что там что-то фундаментальное в этом месте (я сам не знаю)...

[juan-gandhi.livejournal.com]

А, вот откуда это берется, новая интерпретация тезиса Черча. Похоже на ультраинтуиционизм.