[TaPL] 06 Nameless Representation of Terms | ROIFE BLOG
Variable Representations Represent variables symbolically, with variable renaming mechanism to avoid capture Represent variables symbolically, with bound variables and free variables are all different (Barendregt convention) Some “canonical” representation of variables and terms that does not require renaming Avoid substitution by mechanisms such as explicit substitutions Avoid variables (Combinatory Logic) 下面讲的是第三种,可以避免 alpha-c
[TaPL] 06 Nameless Representation of Terms | ROIFE BLOG
Variable Representations Represent variables symbolically, with variable renaming mechanism to avoid capture Represent variables symbolically, with bound variables and free variables are all different (Barendregt convention) Some “canonical” representation of variables and terms that does not require renaming Avoid substitution by mechanisms such as explicit substitutions Avoid variables (Combinatory Logic) 下面讲的是第三种,可以避免 alpha-c
https://roife.github.io/posts/tapl-06/