Axiomatic Domain Theory in Categories of Partial Maps
by Marcelo P Fiore (9780521602778)

Axiomatic Domain Theory in Categories of Partial Maps
Marcelo P Fiore
Release Date: 09 Aug 2004
Format: Paperback / softback
Pages: 256
Category: Mathematical Theory Of Computation
ISBN: 9780521602778
ISBN-10: 0521602777

Add To Cart

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.


 This title is not held in stock & is ordered from suppliers, subject to availability.

View other Marcelo P Fiore titles like "Axiomatic Domain Theory in Categories of Partial Maps"

Write a customer review of Axiomatic Domain Theory in Categories of Partial Maps.

If you like this title please tell others:

tell others

post to your Facebook wall post on Twitter post on Digg recommend to Stumbleupon bookmark on Delicious RSS feed send to a friend

Australian BookShop
Australian Bookshop. Established 2003
Shopping Cart Customer Support

International Online Store
of Inspiration
Tel: +61 2 4959 9097
we ship everywhere
Australia Post
Australia Wide