指稱語意 / Denotational Semantics

講者: 莊庭瑞 Tyng-Ruey Chuang & 陳亮廷 Liang-Ting Chen

* Basic Domain Theory handout slides (exercise answer)

• Partial functions and complete partial orders (cpo)
• Continuous functions and least fixed points

* The Scott Model of PCF handout slides

• Scott domain model
• Substitution Lemma and Compactness Theorem

• Joseph E. Stoy, Denotational Semantics: The Scott-Strachey Approach to programming Language Theory. MIT Press, 1981.

• Thomas Streicher. Domain-Theoretic Foundations of Functional Programming. World Scientific, 2006