"The Delayed Beta Reduction"

[codedot]

Так как довольно продолжительный поиск в литературе упоминания четырех правил или похожего подхода к вычислению лямбда-выражений, а также вопрос в usenet-группе sci.math.research не привели к результатам, идея была оформлена в стиле "Theoretical Pearls" журнала "Journal of Functional Programming". Статья доступна по следующему адресу:

http://pygx.sourceforge.net/betad.pdf