Editing Denotational semantics (section)

==Further reading==
;Textbooks
{{refbegin}}
*{{Cite book |last1=Milne |first1=R.E. |title=A theory of programming language semantics |last2=Strachey |first2=C. |year=1976 |isbn=978-1-5041-2833-9 |author-link2=Christopher Strachey}}
*{{Cite book |last=Gordon |first=M.J.C. |url=https://books.google.com/books?id=s4jTBwAAQBAJ |title=The Denotational Description of Programming Languages: An Introduction |date=2012 |publisher=Springer |isbn=978-1-4612-6228-2 |author-link=Michael J. C. Gordon |orig-date=1979}}
*{{Cite book |last=Stoy |first=Joseph E. |title=Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics |publisher=MIT Press |year=1977 |isbn=978-0-262-19147-0 |author-link=Joe Stoy}} (A classic if dated textbook.)
*{{Cite book |last=Schmidt |first=David A. |title=Denotational semantics: a methodology for language development |publisher=Allyn & Bacon |year=1986 |isbn=978-0-205-10450-5}}
**out of print now; free electronic version available: {{Cite book |last=Schmidt |first=David A. |url=https://people.cs.ksu.edu/~schmidt/text/densem.html |title=Denotational Semantics: A Methodology for Language Development |publisher=Kansas State University |year=1997 |orig-date=1986}}
*{{Cite book |last=Gunter |first=Carl |title=Semantics of Programming Languages: Structures and Techniques |publisher=MIT Press |year=1992 |isbn=978-0-262-07143-7}}
*{{Cite book |last=Winskel |first=Glynn |title=Formal Semantics of Programming Languages |publisher=MIT Press |year=1993 |isbn=978-0-262-73103-4}}
*{{Cite book |last=Tennent |first=R.D. |title=Semantic Structures |publisher=Oxford University Press |year=1994 |isbn=978-0-19-853762-5 |editor-last=Abramsky |editor-first=S. |series=Handbook of logic in computer science |volume=3 |pages=169–322 |chapter=Denotational semantics |ref={{harvid|Abramsky|Gabbay|Maibaum|1994}} |editor-last2=Gabbay |editor-first2=Dov M. |editor-last3=Maibaum |editor-first3=T.S.E.}}
*{{Cite book |last1=Abramsky |first1=S. |title={{harvnb|Abramsky|Gabbay|Maibaum|1994}} |last2=Jung |first2=A. |year=1994 |chapter=Domain theory |author-link=Samson Abramsky |chapter-url=http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf}}
*{{Cite book |last1=Stoltenberg-Hansen |first1=V. |url=https://archive.org/details/mathematicaltheo0000stol |title=Mathematical Theory of Domains |last2=Lindström |first2=I. |last3=Griffor |first3=E.R. |date=1994 |publisher=Cambridge University Press |isbn=978-0-521-38344-8 |url-access=registration}}
{{refend}}
; Lecture notes
{{refbegin}}
*{{Cite web |last=Winskel |first=Glynn |title=Denotational Semantics |url=http://www.cl.cam.ac.uk/~gw104/dens.pdf |publisher=University of Cambridge}} 
{{refend}}
;Other references
{{refbegin}}
*{{Cite thesis |last=Greif |first=Irene |title=Semantics of Communicating Parallel Processes |date=August 1975 |degree=PhD |publisher=Massachusetts Institute of Technology |url=https://dspace.mit.edu/bitstream/handle/1721.1/57710/02200859-MIT.pdf |series=Project MAC |id=ADA016302}}
*{{Cite journal |last=Plotkin |first=G.D. |author-link=Gordon Plotkin |year=1976 |title=A powerdomain construction |journal=SIAM J. Comput. |volume=5 |issue=3 |pages=452–487 |citeseerx=10.1.1.158.4318 |doi=10.1137/0205035}}
*{{Cite book |last=Dijkstra |first=Edsger W. |title=A Discipline of Programming |date=1976 |isbn=0-13-215871-X |series=Prentice-Hall series in automatic computation |location=Englewood Cliffs, N.J. |oclc=1958445 |author-link=Edsger Dijkstra}}
*{{Cite book 
|last1=Apt |first1=Krzysztof R.|author-link1=Krzysztof R. Apt
|title=Exercises in denotational semantics 
|last2=de Bakker |first2=J. W. |date=1976 
|publisher=Mathematisch Centrum |series=Afdeling Informatica |location=Amsterdam |language=English |oclc=63400684}}
*{{Cite journal |last=De Bakker |first=J.W. |date=1976 |title=Least Fixed Points Revisited |journal=Theoretical Computer Science |language=en |volume=2 |issue=2 |pages=155–181 |doi=10.1016/0304-3975(76)90031-1 |doi-access=free}}
*{{Cite journal |last=Smyth |first=Michael B. |year=1978 |title=Power domains |journal=J. Comput. Syst. Sci. |volume=16 |pages=23–36 |doi=10.1016/0022-0000(78)90048-X |doi-access=free}}
*{{Cite book |last1=Francez |first1=Nissim |title=Semantics of nondeterminism, concurrency, and communication |last2=Hoare |first2=C.A.R. |last3=Lehmann |first3=Daniel |last4=de Roever |first4=Willem-Paul |date=December 1979 |work=Journal of Computer and System Sciences |isbn=978-3-540-08921-6 |series=Lecture Notes in Computer Science |volume=64 |pages=191–200 |doi=10.1007/3-540-08921-7_67 |hdl=1874/15886}}
*{{Cite book |last1=Lynch |first1=Nancy |title=Semantics of concurrent computation: proceedings of the international symposium, Évian, France, July 2-4, 1979 |last2=Fischer |first2=Michael J. |publisher=Springer |year=1979 |isbn=978-3-540-09511-8 |editor-last=Kahn |editor-first=G. |chapter=On describing the behavior of distributed systems |ref={{harvid|Kahn|1979}} |author-link=Nancy Lynch |author-link2=Michael J. Fischer |chapter-url=https://books.google.com/books?id=lLgqAQAAIAAJ}}
*{{Cite book |last=Schwartz |first=Jerald |title={{harvnb|Kahn|1979}} |year=1979 |chapter=Denotational semantics of parallelism}}
*{{Cite book |last=Wadge |first=William |title={{harvnb|Kahn|1979}} |year=1979 |chapter=An extensional treatment of dataflow deadlock}}
*{{Cite book |last=Back |first=Ralph-Johan |title=Automata, Languages and Programming |chapter-url=https://link.springer.com/chapter/10.1007%2F3-540-10003-2_59 |chapter=Semantics of unbounded nondeterminism |date=1980 |publisher=Springer |isbn=978-3-540-39346-7 |editor-last=de Bakker |editor-first=Jaco |series=Lecture Notes in Computer Science |volume=85 |location=Berlin, Heidelberg |pages=51–63 |language=en |doi=10.1007/3-540-10003-2_59 |oclc=476017025 |url=https://ir.cwi.nl/pub/27111 |author-link=Ralph-Johan Back |editor-last2=van Leeuwen |editor-first2=Jan}}
*{{Cite book |last=Park |first=David |title=Abstract Software Specifications |chapter-url=http://link.springer.com/10.1007/3-540-10007-5_47 |chapter=On the semantics of fair parallelism |series=Lecture Notes in Computer Science |date=1980 |publisher=Springer Berlin Heidelberg |isbn=978-3-540-10007-2 |editor-last=Bjøorner |editor-first=Dines |volume=86 |location=Berlin, Heidelberg |pages=504–526 |doi=10.1007/3-540-10007-5_47|url=http://wrap.warwick.ac.uk/59429/1/WRAP_Park_cs-rr-031.pdf }}
*{{Cite book |last=Allison |first=L. |url=https://books.google.com/books?id=uIdF11msK58C |title=A Practical Introduction to Denotational Semantics |publisher=Cambridge University Press |year=1986 |isbn=978-0-521-31423-7}}
*{{Cite journal |last1=America |first1=P. |last2=de Bakker |first2=J. |last3=Kok |first3=J.N. |last4=Rutten |first4=J. |year=1989 |title=Denotational semantics of a parallel object-oriented language |url=https://ir.cwi.nl/pub/1602 |journal=Information and Computation |volume=83 |issue=2 |pages=152–205 |doi=10.1016/0890-5401(89)90057-6|s2cid=2405175 |doi-access=free }}
*{{Cite book |last=Schmidt |first=David A. |title=The Structure of Typed Programming Languages |publisher=MIT Press |year=1994 |isbn=978-0-262-69171-0}}
{{refend}}