1.
序言：计算是如何获得形态的？
2.
语法结构
从字符到结构：抽象语法树
从名字到绑定：变量与 $\alpha$-等价
从局部到作用域：词法与动态规则
语法结构
<
>