Semantiska metoder
10 hp
Litteraturlista, Avancerad nivå, 1MA057
Det finns en senare version av litteraturlistan.
Huvudgrupp 1
- Stoltenberg-Hansen, Viggo; Lindström, Ingrid; Griffor, Edward R., Mathematical theory of domains, 1:a uppl., Cambridge, Cambridge Univ. Press, 2008Obligatorisk
- Streicher, Thomas, Domain-Theoretic Foundations of Functional Programming, World Scientific Publishing, 2006Obligatorisk
* Obligatorisk
Kursplan
- Kursplan giltig från och med vårterminen 2019
- Kursplan giltig från och med höstterminen 2013
- Kursplan giltig från och med höstterminen 2011
- Kursplan giltig från och med höstterminen 2008, version 2
- Kursplan giltig från och med höstterminen 2008, version 1
- Kursplan giltig från och med höstterminen 2007, version 2
- Kursplan giltig från och med höstterminen 2007, version 1