Axiomatic Domain Theory in Categories of Partial Maps

Axiomatic Domain Theory in Categories of Partial Maps 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.

This 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.

Enhance 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.