03_expressions

GROSSARY.md

@@ -3,19 +3,26 @@
 | 英語 | 日本語 |
 | --- | --- |
 | abstract syntax tree | 抽象構文木 |
+| binder | 束縛子 |
+| bound variable | 束縛変数 |
 | concrete syntax tree | 解析木 |
 | context | コンテキスト（証明やプログラム中のスコープを指す場合）、文脈（それ以外） |
 | delaboration | デラボレーション |
 | elaborate | 精緻化 |
 | elaboration | エラボレーション |
 | elaborator | エラボレータ |
+| free variable | 自由変数 |
 | hypothesis | 仮定 |
 | expression | 式 |
 | implication | 含意 |
 | metavariable | メタ変数 |
 | notation | 記法 |
 | parse | パース |
+| reduction | 簡約 |
 | reflection | リフレクション |
 | syntax | 構文 |
 | term | 項（式を構成する要素）、用語 |
 | unification | ユニフィケーション |
+| universe | 宇宙 |
+| universe-polymorphic constant | 宇宙多相な定数 |
+| β-reduction | β簡約 |