Axiomatic Domain Theory in Categories of Partial Maps

Axiomatic Domain Theory in Categories of Partial Maps

by Marcelo P. Fiore (Other)

Paperback

$52.00
Choose Expedited Shipping at checkout for guaranteed delivery by Thursday, January 24

Product Details

ISBN-13: 9780521602778
Publisher: Cambridge University Press
Publication date: 02/28/2004
Series: Distinguished Dissertations in Computer Science Series
Pages: 254
Product dimensions: 6.85(w) x 9.72(h) x 0.55(d)

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews