Semantics and Domain Theory/Organisation/Literature
Uit Werkplaats
< Semantics and Domain Theory | Organisation
Versie door Herman Geuvers (overleg | bijdragen) op 2 feb 2011 om 10:18
Literature
- Lecture Notes on Denotational Semantics by Andy Pitts and Glynn Winskel, to be abbreviated to DENS for now. ( Available here)
- Selected sections (Ch. 3.1 and 3.2) from Domains and Lambda Calculi by Roberto Amadio and Pierre-Louis Curien, Cambridge University Press, 1998, pp: 4
- Selected sections (Ch. 13) from Formal Semantics of Programming Languages by Glynn Winskel, MIT Press, Cambridge, Massachusetts, 1993.
- Selected sections (Ch. 8) from Semantics of Programming Languages: Structures and Techniques, by Carl Gunter, MIT Press, Cambridge, Massachusetts, 1992.
Background material, notably on operational semantics can be found in the book of Hanne Riis Nielson en Flemming Nielson that is used in the courses Semantiek en Correctheid and Semantiek en Logica: Semantics with applications, Wiley 1999 (now freely available).