|
|
COMP- 627:
THEORY OF PROGRAMMING LANGUAGES
|
|
Course Summary
-
Computability, Domain theory and Topology:Elementary domain theory, topology, topology of domains, probabilistic processes, the probabilistic powerdomain, a universal Markov process, Stone duality, the Escardo-Smyth dictionary.
|
McGill Course Description
(Click Here)
|