
Axiomatic Domain Theory in Categories of Partial Maps (English, Marcelo P. Fiore | Marcelo P. Fiore)
Inclusive of all applicable taxes. FREE shipping on all orders.
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
About the Book
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,…
ISBN: 9780521602778
Book Specifications
| ISBN-13 | 9780521602778 |
| ISBN-10 | 0521602777 |
| Publisher | Cambridge University Press |
| Category | Cambridge University Press |
Frequently Asked Questions
What is the price of Axiomatic Domain Theory in Categories of Partial Maps?
Does BookShops.in offer free delivery for Axiomatic Domain Theory in Categories of Partial Maps?
Is Cash on Delivery available for Axiomatic Domain Theory in Categories of Partial Maps?
What is the return policy for Axiomatic Domain Theory in Categories of Partial Maps?
Is Axiomatic Domain Theory in Categories of Partial Maps authentic?
Customers Also Bought

McFarland & Company
Playing with the Guys | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew Wilhelm Kapell | McFarland & Company | by Marc A. Ouellette | Matthew W

Rowman & Littlefield Publishers
Joss Whedon's Dollhouse: Confounding Purpose, Confusing Identity (Science Fiction Television)

State University of New York Press
Mexico Unmanned: The Cultural Politics of Masculinity in Mexican Cinema (SUNY series in Latin American Cinema)

McFarland & Company
Valley Forge to Monmouth | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company | by Jim Stempel | McFarland & Company |

University of Toronto Press
Structures of Feeling in Seventeenth-Century Cultural Expression (UCLA Center Clark Library)

McFarland & Company
Welcome to Arkham Asylum | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon Packer | Daniel R. Fredrick | McFarland & Company | by Sharon P
Related Products
View All
Cambridge University Press
Children of the Queen's Revels (English, Lucy Munro)

Cambridge University Press
Site Automation | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge University Press | by Thomas Bock | Thomas Linner | Cambridge Unive

Cambridge University Press
Complex Analysis | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian Stewart | David Tall | Cambridge University Press | by Ian St

Cambridge University Press
Taming Intuition | by Kevin Arceneaux | Ryan J. Vander Wielen | Cambridge University Press | by Kevin Arceneaux | Ryan J. Vander Wielen | Cambridge University Press | by Kevin Arceneaux | Ryan J. Vander Wielen | Cambridge University Press | by Kevin Arceneaux | Ryan J. Vander Wielen | Cambridge University Press | by Kevin Arceneaux | Ryan J. Vander Wielen | Cambridge University Press | by Kevin Arceneaux | Ryan J. Vander Wielen | Cambridge University Press | by Kevin Arceneaux | Ryan J. Vander W

Cambridge University Press
The Therapeutic Interview in Mental Health | by Giovanni Stanghellini | Milena Mancini | Cambridge University Press | by Giovanni Stanghellini | Milena Mancini | Cambridge University Press | by Giovanni Stanghellini | Milena Mancini | Cambridge University Press | by Giovanni Stanghellini | Milena Mancini | Cambridge University Press | by Giovanni Stanghellini | Milena Mancini | Cambridge University Press | by Giovanni Stanghellini | Milena Mancini | Cambridge University Press | by Giovanni Stang

Cambridge University Press
