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.