Semantics and Domain Theory/Organisation/Literature

Uit Werkplaats
Ga naar: navigatie, zoeken

Semantics and Domain Theory

 © comments



Literature

  1. Lecture Notes on Denotational Semantics by Andy Pitts and Glynn Winskel, to be abbreviated to DENS for now. ( Available here)
  2. 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
  3. Selected sections (Ch. 13) from Formal Semantics of Programming Languages by Glynn Winskel, MIT Press, Cambridge, Massachusetts, 1993.
  4. 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).

Overgenomen van "https://lab.cs.ru.nl/algemeen/index.php?title=Semantics_and_Domain_Theory/Organisation/Literature&oldid=131923"