| 英文 | 中文 | 参考 |
|---|---|---|
| lambda calculus | lambda算子 | |
| procedure | 过程 | 参照SICP中译本 |
| escape procedures | escape过程 | |
| first-class procedures | first-class过程 | |
| first-class escape procedures | first-class escape过程 | |
| exact number | exact数 | |
| inexact number | inexact数 | |
| definitions | 定义 | |
| syntactic | 词法 | |
| pair | 序对 | 参照SICP中译本 |
| list | 列表 | |
| local binding | 本地绑定 | |
| form | 句法形式 | |
| subform | 子句法形式 | |
| derived form | 衍生句法形式 | |
| macro | 宏 | |
| syntactic data | 句法数据 | |
| datum value | 数据值 |