{"product_id":"domains-and-lambda-calculi-cambridge-university-press-9780521062923-roberto-m-amadio","title":"Domains and Lambda-Calculi","description":"\u003cp\u003eExplore the intricate world of programming languages with \u003cstrong\u003eDomains and Lambda-Calculi\u003c\/strong\u003e by \u003cstrong\u003eRoberto M. Amadio\u003c\/strong\u003e. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e 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.\u003c\/p\u003e","brand":"Roberto M. Amadio","offers":[{"title":"Default Title","offer_id":52246732964182,"sku":"9780521062923","price":67.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521062923.jpg?v=1767771726","url":"https:\/\/www.englishbook.fi\/products\/domains-and-lambda-calculi-cambridge-university-press-9780521062923-roberto-m-amadio","provider":"Bookshop","version":"1.0","type":"link"}