{"product_id":"axiomatic-domain-theory-in-categories-of-partial-maps-cambridge-university-press-9780521602778-marcelo-p-fiore","title":"Axiomatic Domain Theory in Categories of Partial Maps","description":"\u003cp\u003e\u003cstrong\u003eAxiomatic Domain Theory in Categories of Partial Maps\u003c\/strong\u003e by Marcelo P. Fiore is an essential resource for anyone interested in the intersection of mathematics and computer science. Published by Cambridge University Press in 2004, this comprehensive paperback spans 256 pages and serves as a foundational text on axiomatic categorical domain theory.\u003c\/p\u003e\n\n\u003cp\u003eThis groundbreaking book provides a systematic exploration of the mathematical structures that are vital for modeling functional programming languages in an abstract setting. It delves into the intricacies of understanding program semantics and offers insightful reasoning techniques. Additionally, readers will find a thorough introduction to enriched category theory, making this work a valuable addition to the libraries of researchers, students, and professionals in the fields of discrete mathematics and software development.\u003c\/p\u003e\n\n\u003cp\u003eEnhance your understanding of programming languages and their theoretical underpinnings with Fiore’s authoritative text, a must-have for both academic and practical applications in computer science.\u003c\/p\u003e","brand":"Marcelo P. Fiore","offers":[{"title":"Default Title","offer_id":52252405334358,"sku":"9780521602778","price":49.71,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521602778.jpg?v=1767780408","url":"https:\/\/www.englishbook.pt\/products\/axiomatic-domain-theory-in-categories-of-partial-maps-cambridge-university-press-9780521602778-marcelo-p-fiore","provider":"Bookshop","version":"1.0","type":"link"}