Axiomatic Domain Theory in Categories of Partial Maps Image close
Axiomatic Domain Theory in Categories of Partial Maps by Marcelo P. Fiore
Axiomatic Domain Theory in Categories of Partial Maps by Marcelo P. Fiore
Show Hide Adult Content
Axiomatic Domain Theory in Categories of Partial Maps close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Topology  
Analytic topology

Axiomatic Domain Theory in Categories of Partial Maps

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$133.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $33.25 with Afterpay Learn more

6 weekly interest-free payments of $22.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 28 Jun - 10 Jul using International Courier

Explore more Distinguished Dissertations in Computer Science

See all products in this series

Qualified Types by Mark P. Jones
$129.00
Qualified Types
by Mark P. Jones ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Specification and Proof in Real Time CSP by Jim Davies
$168.00
Specification and Proof in Real Time CSP
by Jim Davies ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Three-Dimensional Integrated Circuit Layout on Hardback by A.C. Harter
$347.00
Three-Dimensional Integrated Circuit Layout
by A.C. Harter ~ Hardback
Available - Usually ships in 3-4 weeks
Specification and Proof in Real Time CSP on Hardback by Jim Davies
$346.00
Specification and Proof in Real Time CSP
by Jim Davies ~ Hardback
Available - Usually ships in 3-4 weeks
A Compositional Approach to Performance Modelling by Jane Hillston
$132.00
A Compositional Approach to Performance Modelling
by Jane Hillston ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Functional Programming and Input/Output by Andrew D. Gordon
$129.00
Functional Programming and Input/Output
by Andrew D. Gordon ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Efficient Algorithms for Listing Combinatorial Structures on Hardback by Leslie Ann Goldberg
$345.00
Efficient Algorithms for Listing Combinatorial Structures
by Leslie Ann Goldberg ~ Hardback
Available - Usually ships in 3-4 weeks
Efficient Algorithms for Listing Combinatorial Structures by Leslie Ann Goldberg
$129.00
Efficient Algorithms for Listing Combinatorial Structures
by Leslie Ann Goldberg ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Modular and Extensible Network Storage Architecture on Hardback by Sai Lai Lo
$344.00
A Modular and Extensible Network Storage Architecture
by Sai Lai Lo ~ Hardback
Available - Usually ships in 3-4 weeks
Three-Dimensional Integrated Circuit Layout by A.C. Harter
$132.00
Three-Dimensional Integrated Circuit Layout
by A.C. Harter ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot by D.C. Lee
$130.00
The Map-Building and Exploration Strategies of a Simple...
by D.C. Lee ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Programming by James H. Andrews
$129.00
Logic Programming
by James H. Andrews ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Auditory Processing and Organisation by Martin Cooke
$129.00
Modelling Auditory Processing and Organisation
by Martin Cooke ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Affine Analysis of Image Sequences by Larry S. Shapiro
$129.00
Affine Analysis of Image Sequences
by Larry S. Shapiro ~ Paperback / softback
Available - Usually ships in 3-4 weeks
A Modular and Extensible Network Storage Architecture by Sai Lai Lo
$129.00
A Modular and Extensible Network Storage Architecture
by Sai Lai Lo ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
March 25th, 2004
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises
Pages
256
Dimensions
190x246x13
ISBN-13
9780521602778
Product ID
2365137

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Topology >
Analytic topology