Semantic Methods
10 credits
Reading list, Master's level, 1MA057
A revised version of the reading list is available.
Main group 1
- Stoltenberg-Hansen, Viggo; Lindström, Ingrid; Griffor, Edward R., Mathematical theory of domains, 1:a uppl., Cambridge, Cambridge Univ. Press, 2008Compulsory
- Streicher, Thomas, Domain-Theoretic Foundations of Functional Programming, World Scientific Publishing, 2006Compulsory
* Compulsory