术语

语法分类（syntactic categories）：在语法定义中::=左侧定义的集合。

语法推导（syntactic derivation）：证明某个给定的数据的值是集合的一个成员的过程。

约束变量（bound variable）：lambda演算中的唯一参数。

inlining技术：将仅出现一次的定义转化为域内的内建变量。

数据抽象（data abstraction）技术：将复杂数据分为接口（interface）和实现（implementation）两部分，使用这种技术构建的数据类型称为抽象数据类型（abstract data type）。

表示独立的（representation-independent）代码：仅使用接口来操作抽象数据的值的代码。

接口可以分成构造者(constructor)和观察者（observer)

环境（environment）（数据类型）：一种数据类型，它将一个有限集合内的变量中的每一个元素关联到一个值上。

绑定（binding）：指环境中一个变量所对应的值。