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

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