现。
Landin的贡献.在2012年指出《Algol 60修订报告》（Naur的1963年版）规定了依据复制规则的过程调用，这避免了具有对标识符的系统性改变的变量捕获。这种方法被加入到了Algol 60实现之中，但是在函数是头等公民的函数式编程语言之中，自由变量在调用栈上可能被错误的解引用。Turner注意到Landin通过他的SECD机解决了这个问题，在这个机器中函数转而通过在堆中的闭包来表示。
非正式描述.在开始求值一个表达式的时候，这个表达式被