"The Delayed Beta Reduction"

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

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

Ответ профессора Барендрегта

Меньше чем через двадцать минут после отправления вопроса по поводу "The Delayed Beta Reduction" профессору Барендрегту был получен от него ответ. Он указал на "Micro Lambda Calculus" и "Explicit Substitution" как на темы, где стоит искать похожий подход к вычислению лямбда-выражений.

Источник для четырех правил

Запрос "Micro Lambda Calculus" в Google однозначно приводит к статье "A two-level approach to logic plus functional programming integration". После покупки PDF с данной статьей за $25 с помощью ресурса SpringerLink практически сразу нашлось упоминание тех же правил, что и в статье "The Delayed Beta Reduction". В свою очередь, статья "A two-level approach to logic plus functional programming integration" ссылается на "Axioms for the Theory of Lambda-Conversion", где и был впервые введен подход к вычислению лямбда-выражений, на который похожи полученные недавно четыре правила.