1903631
9780521602778
Axiomatic Domain Theory in Categories of Partial Maps
by Fiore, Marcelo P.
31245
List Price
Discount
15% Off
You Save
$8.40
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9780521602778
- ISBN: 0521602777
- Publication Date: 2004
- Publisher: Cambridge University Press
AUTHOR
SUMMARY
Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (abstract) setting. It includes an introduction to enriched category theory.Fiore, Marcelo P. is the author of 'Axiomatic Domain Theory in Categories of Partial Maps', published 2004 under ISBN 9780521602778 and ISBN 0521602777.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
