Skip to content
Snippets Groups Projects
Commit 0bb3b975 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update ModelsComputation.md

parent 297e2bab
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
teaching/ModelsComputation.md
+ 1
− 1
View file @ 0bb3b975
......@@ -29,7 +29,7 @@ Tutorial solutions will be published here before the next week's tutorial.
Recommended Reading:
H.R. Nielson and F. Nielson (1999). Semantics with Applications: A Formal Introduction, originally published in 1992 by John Wiley and Sons.
[Revised edition] (http://www.doc.ic.ac.uk/~pg/Computation/book.pdf)
[Revised edition](http://www.doc.ic.ac.uk/~pg/Computation/book.pdf)
G. Winskel (1993). The Formal Semantics of Programming Languages, MIT Press.
This is an excellent introduction to both the operational and denotational semantics of programming languages.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment