Synopses & Reviews
First systematic account of axiomatic categorical domain theory and functional programming.
Review
"...this bookis well-written, and it represents a significant contribution to axiomatic domain theory. It certainly deserves the recognition as a distinguished dissertation in computer science." Guo-Qiang Zhang, Mathematical Reviews
Table of Contents
1. Introduction; 2. Categorical preliminaries; 3. Partiality; 4. Order-enriched categories of partial maps; 5. Data types; 6. Recursive types; 7. Recursive types in Cpo-categories; 8. FPC; 9. Computational soundness and adequacy; 10. Summary and future research; Appendices; References; Indices.