TaPL Chapter 6 – Nameless Representation of Terms
在第五章中引入的 untyped pure lambda-calculus 中,所有的变量都有一个符号名称,例如 x、y、s 和 t 等。然而,在执行 substitution 时,这些为变量指派的符… 阅读更多 »TaPL Chapter 6 – Nameless Representation of Terms
在第五章中引入的 untyped pure lambda-calculus 中,所有的变量都有一个符号名称,例如 x、y、s 和 t 等。然而,在执行 substitution 时,这些为变量指派的符… 阅读更多 »TaPL Chapter 6 – Nameless Representation of Terms