Books > Science & Mathematics > Mathematics > Topology > Analytic topology
|
Buy Now
Axiomatic Domain Theory in Categories of Partial Maps (Paperback, Revised)
Loot Price: R1,213
Discovery Miles 12 130
|
|
Axiomatic Domain Theory in Categories of Partial Maps (Paperback, Revised)
Series: Distinguished Dissertations in Computer Science
Expected to ship within 12 - 17 working days
|
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 (i.e. abstract) setting. In particular, the author
develops theories of partiality and recursive types and applies
them to the study of the metalanguage FPC; for example, enriched
categorical models of the FPC are defined. Furthermore, FPC is
considered as a programming language with a call-by-value
operational semantics and a denotational semantics defined on top
of a categorical model. To conclude, for an axiomatisation of
absolute non-trivial domain-theoretic models of FPC, operational
and denotational semantics are related by means of computational
soundness and adequacy results. To make the book reasonably
self-contained, the author includes an introduction to enriched
category theory.
General
Imprint: |
Cambridge UniversityPress
|
Country of origin: |
United Kingdom |
Series: |
Distinguished Dissertations in Computer Science |
Release date: |
March 2004 |
First published: |
1996 |
Authors: |
Marcelo P. Fiore
|
Dimensions: |
246 x 190 x 13mm (L x W x T) |
Format: |
Paperback - Trade
|
Pages: |
256 |
Edition: |
Revised |
ISBN-13: |
978-0-521-60277-8 |
Categories: |
Books >
Science & Mathematics >
Mathematics >
Topology >
Analytic topology
|
LSN: |
0-521-60277-7 |
Barcode: |
9780521602778 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.