Axiomatic Domain Theory in Categories of Partial Maps (English, Marcelo P. Fiore | Marcelo P. Fiore)
by Marcelo P. Fiore | Marcelo P. Fiore
Delivery options
Axiomatic Domain Theory in Categories of Partial Maps by Marcelo P. Fiore | Marcelo P. Fiore is listed under Cambridge University Press on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521602778
ISBN-10
0521602777
Author
Marcelo P. Fiore | Marcelo P. Fiore
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
ISBN-13: 9780521602778
ISBN-10: 0521602777
Reader's Guide
What This Book Covers
- ·The main subject matter of Axiomatic Domain Theory in Categories of Partial Maps
- ·Ideas and detail relevant to Cambridge University Press
- ·Context that helps make sense of the material as a whole
Best Suited For
Readers with an interest in Cambridge University Press, from students to hobbyists.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Axiomatic Domain Theory in Categories of Partial Maps?
Axiomatic Domain Theory in Categories of Partial Maps starts from ₹4792 at BookBajar. Available in Paperback.
Who is the author of Axiomatic Domain Theory in Categories of Partial Maps?
Marcelo P. Fiore | Marcelo P. Fiore is the author of Axiomatic Domain Theory in Categories of Partial Maps. Browse more books by Marcelo P. Fiore | Marcelo P. Fiore on BookBajar.
Is Axiomatic Domain Theory in Categories of Partial Maps available in Paperback and Hardcover?
Yes, Axiomatic Domain Theory in Categories of Partial Maps is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Axiomatic Domain Theory in Categories of Partial Maps?
Yes, BookBajar offers free delivery for Axiomatic Domain Theory in Categories of Partial Maps across India. No minimum order value required.
Is Cash on Delivery available for Axiomatic Domain Theory in Categories of Partial Maps?
Yes, Cash on Delivery (COD) is available for Axiomatic Domain Theory in Categories of Partial Maps on BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Axiomatic Domain Theory in Categories of Partial Maps?
Axiomatic Domain Theory in Categories of Partial Maps can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Axiomatic Domain Theory in Categories of Partial Maps?
Axiomatic Domain Theory in Categories of Partial Maps has ISBN 9780521602778 (ISBN-10: 0521602777). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Axiomatic Domain Theory in Categories of Partial Maps?
About the Book Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them.
Product ID: isbn-9780521602778
🛒 Customers Also Bought
Nanoscale Energy Transport and Conversion (English, Gang Chen)
₹4,697
Die Archetypentheorie Von C.G. Jung (English, Heinrich H. Balmer)
₹3,508
Arzneiverordnungs-Report 2019 (English, Ulrich Schwabe | Dieter Paffrath | Wolf-Dieter Ludwig)
₹4,965
Modular Forms on Half-Spaces of Quaternions (English, Aloys Krieg)
₹5,543
Riesen Des Meeres (English, E. J. Slijper)
₹3,143
Valproinsäure (English, Günter Krämer | J. Walden)
₹3,873Related Products
Die Proximalen Humerusfrakturen (English, Fabrizio Moro | Rainer-Peter Meyer | Andreas Lütscher)
₹4,965
Differentialgleichungen Mit MathCAD Und MATLAB (English, Hans Benker)
₹3,508
Mathematik 1 (English, Albert Fetzer | Heiner Fränkel | Dietrich Feldmann)
₹3,508
Parallel Execution of Parlog (English, Andrew Cheese)
₹5,471
Einführung in (Natur-)Wissenschaftliches Denken (English, Hans Mohr)
₹3,143