Home : Book details : Book description

Description of  Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science, Series Number 22)

0521383447 pdf 0521383447 pdf Domain theory is the mathematical framework that is used to model the semantics of computer programs and the theory of computation. This is the first book on the subject that attempts to provide a rigorous introduction to the topic in a manner accessible to computer scientists by motivating the mathematics with computer science examples.