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.