2 抽象構文での構文カテゴリ/構文ドメインの正確な定義 私は言語の意味論（ゴードン、Winskel、ニールソン＆ニールソン、アリソン、切り株、シュミット）をプログラム上での本のカップルの導入部分を読んでいる、と私は、彼らが何を意味するか理解している間、構文カテゴリ、または構文上のドメイン、私は」didnのtそれらの厳密で簡単な定義を見つけます。標準的な定義はありますか、おそらく以前の作品にありますか？ 8 semantics denotational-semantics definitions