WIN $150 GIFT VOUCHERS: ALADDIN'S GOLD

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

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

Étale Cohomology

James S. Milne

Paperback

$79.99 

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

Catastrophe Theory and Bifurcation...

Applications to Urban and Regional...

Alan Wilson (University College...

Paperback

$79.99 

Not in-store but you can order this

ADD +
Axiomatic Domain Theory in Categories of Partial Maps

Fractals in the Natural Sciences...

M. Fleischmann

Hardback

$170 

Not in-store but you can order this

ADD +
Axiomatic Domain Theory in Categories of Partial Maps

Probability in Banach Spaces at...

Albert Badrikian

Paperback

$214.95  $171.81

Not in-store but you can order this

ADD +
Axiomatic Domain Theory in Categories of Partial Maps

Knots and Quantum Gravity

John C. Baez (Associate Professor,...

Hardback

$271 

Not in-store but you can order this

ADD +