Domains and Lambda-Calculi

Explore the intricate world of programming languages with Domains and Lambda-Calculi by Roberto M. Amadio. Published by Cambridge University Press in 2008, this comprehensive paperback spans 504 pages, delving into the mathematical foundations of programming semantics. Amadio expertly presents formal tools designed to evaluate the meaning of programming constructs, ensuring a language- and platform-independent approach. This book elucidates both denotational and operational semantics, highlighting the fascinating duality between these concepts. Perfect for students, researchers, and professionals in the fields of logic and programming languages, this text is a vital addition to your library. Unlock the potential of programming semantics and enhance your understanding with this essential resource.