Cartesian Closed Categories of Domains
Title | Cartesian Closed Categories of Domains PDF eBook |
Author | A. Jung |
Publisher | |
Pages | 122 |
Release | 1989 |
Genre | Closed categories (Mathematics) |
ISBN |
Mathematical Theory of Domains
Title | Mathematical Theory of Domains PDF eBook |
Author | V. Stoltenberg-Hansen |
Publisher | Cambridge University Press |
Pages | 366 |
Release | 1994-09-22 |
Genre | Computers |
ISBN | 9780521383448 |
Introductory textbook/general reference in domain theory for professionals in computer science and logic.
Domains and Processes
Title | Domains and Processes PDF eBook |
Author | Klaus Keimel |
Publisher | Springer Science & Business Media |
Pages | 283 |
Release | 2012-12-06 |
Genre | Philosophy |
ISBN | 9401006547 |
Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi. This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.
Continuous Lattices and Domains
Title | Continuous Lattices and Domains PDF eBook |
Author | G. Gierz |
Publisher | Cambridge University Press |
Pages | 640 |
Release | 2003-03-06 |
Genre | Mathematics |
ISBN | 9780521803380 |
Table of contents
Domains and Lambda-Calculi
Title | Domains and Lambda-Calculi PDF eBook |
Author | Roberto M. Amadio |
Publisher | Cambridge University Press |
Pages | 504 |
Release | 1998-07-02 |
Genre | Computers |
ISBN | 0521622778 |
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.
Proof and System-Reliability
Title | Proof and System-Reliability PDF eBook |
Author | Helmut Schwichtenberg |
Publisher | Springer Science & Business Media |
Pages | 419 |
Release | 2012-12-06 |
Genre | Mathematics |
ISBN | 9401004137 |
As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.
Axiomatic Domain Theory in Categories of Partial Maps
Title | Axiomatic Domain Theory in Categories of Partial Maps PDF eBook |
Author | Marcelo P. Fiore |
Publisher | Cambridge University Press |
Pages | 260 |
Release | 2004-03-25 |
Genre | Computers |
ISBN | 9780521602778 |
First systematic account of axiomatic categorical domain theory and functional programming.