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

Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science, Series Number 22)
by: V. Stoltenberg-Hansen (Author),I. Lindström(Author),E. R. Griffor(Author)&0more
Publisher: Cambridge University Press
Publication Date: 1994/11/25
Language: English
Print Length: 361 pages
ISBN-10: 0521383447
ISBN-13: 9780521383448
Book Description
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.
About the Author
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. Read more