PERHAPS A GIFT VOUCHER FOR MUM?: MOTHER'S DAY

Close Notification

Your cart does not contain any items

Axiomatic Domain Theory in Categories of Partial Maps by Marcelo P. Fiore (University of Edinburgh) at Abbey's Bookshop,
Axiomatic Domain Theory in Categories of Partial Maps
— —
Marcelo P. Fiore (University of Edinburgh)

Axiomatic Domain Theory in Categories of Partial Maps

Marcelo P. Fiore (University of Edinburgh)

$71.95

Paperback

Not in-store but you can order this
How long will it take?
English
Cambridge University Press
09 August 2004
Analytic topology
Series: Distinguished Dissertations in Computer Science
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.
By:  
Imprint:   Cambridge University Press
Country of Publication:   United Kingdom
Volume:   14
Dimensions:   Height: 246mm,  Width: 190mm,  Spine: 13mm
Weight:   460g
ISBN:   9780521602778
ISBN 10:   0521602777
Series:   Distinguished Dissertations in Computer Science
Pages:   256
Publication Date:  
Audience:   Professional and scholarly ,  Undergraduate
Format:   Paperback
Publisher's Status:   Active
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.

Reviews for Axiomatic Domain Theory in Categories of Partial Maps

' ... the author succeeds in the difficult task of finding the right level of abstraction. Moreover, the exposition is very precise and technically outstanding.' Daniele Turi, Science of Computer Programming (1998)


See Also

Axiomatic Domain Theory in Categories of Partial Maps

Differential Topology

Morris W. Hirsch

Hardback

$168.95  $134.76

Not in-store but you can order this

ADD +
Axiomatic Domain Theory in Categories of Partial Maps

Soliton Equations and Their Algebro-Geometric...

Volume 2, (1+1)-Dimensional Discrete...

Fritz Gesztesy (University of Missouri,...

Hardback

$236.95 

Not in-store but you can order this

ADD +
Axiomatic Domain Theory in Categories of Partial Maps

A Tale of Two Fractals

A.A. Kirillov

Hardback

$130.95  $105.07

Not in-store but you can order this

ADD +
Axiomatic Domain Theory in Categories of Partial Maps

Analysis on Fractals

Jun Kigami (Kyoto University, Japan)...

Paperback

$51.95 

Not in-store but you can order this

ADD +
Axiomatic Domain Theory in Categories of Partial Maps

Foliations 2005 - Proceedings Of...

Pawel Walczak (Univ Lodzki, Lodz,...

Hardback

$352.99 

Not in-store but you can order this

ADD +
Axiomatic Domain Theory in Categories of Partial Maps

Catastrophe Theory and its Applications...

Timothy Poston

Paperback

$42.95  $36.42

Not in-store but you can order this

ADD +