Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
You are here: Home Academic Courses Course Profile

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)