Axiomatic domain theory in categories of partial maps

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.