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

[codedot]

Запрос "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", где и был впервые введен подход к вычислению лямбда-выражений, на который похожи полученные недавно четыре правила.