{"product_id":"domains-and-lambda-calculi-hardback-9780521622776","title":"Domains and Lambda-Calculi (Hardback) 9780521622776","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eDomains and Lambda-Calculi\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eGraduate text on mathematical foundations of programming languages, and operational and denotational semantics.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eRoberto M. Amadio (Author), Pierre-Louis Curien (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521622776, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eHardback, published 2 July 1998\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e504 pages, 85 b\/w illus.\u003cbr\u003e23.5 x 15.8 x 3 cm, 0.954 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cem\u003e\u003cfont size=\"3\"\u003eReview of the hardback: 'This is an excellent, thorough monograph … a rich and comprehensive source of  information, it is very useful as  a reference to classical results in domain theory and lambda calculus.' Paula G. Severi, Zentralblatt MATH\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eThis book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePreface\u003cbr\u003e Notation\u003cbr\u003e 1. Continuity and computability\u003cbr\u003e 2. Syntactic theory of ?-calculus\u003cbr\u003e 3. D? models and intersection types\u003cbr\u003e 4. Interpretation of ?-calculi in CCC's\u003cbr\u003e 5. CCC's of algebraic dcpo's\u003cbr\u003e 6. The language PCF\u003cbr\u003e 7. Domain equations\u003cbr\u003e 8. Values and computations\u003cbr\u003e 9. Powerdomains\u003cbr\u003e 10. Stone duality\u003cbr\u003e 11. Dependent and second order types\u003cbr\u003e 12. Stability\u003cbr\u003e 13. Towards linear logic\u003cbr\u003e 14. Sequentiality\u003cbr\u003e 15. Domains and realizability\u003cbr\u003e 16. Functions and processes\u003cbr\u003e Appendix 1: summary of recursion theory\u003cbr\u003e Appendix 2: summary of category theory\u003cbr\u003e References and bibliography\u003cbr\u003e Index.\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Mathematical theory of computation [\u003ca title=\"See our other books on Mathematical theory of computation\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20theory%20of%20computation%20%5BUYA%5D%22\"\u003eUYA\u003c\/a\u003e], Mathematical logic [\u003ca title=\"See our other books on Mathematical logic\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20logic%20%5BPBCD%5D%22\"\u003ePBCD\u003c\/a\u003e], Mathematical foundations [\u003ca title=\"See our other books on Mathematical foundations\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Mathematical%20foundations%20%5BPBC%5D%22\"\u003ePBC\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":46129280319768,"sku":"9780521622776","price":107.47,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521622776i.jpg?v=1691666542","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/domains-and-lambda-calculi-hardback-9780521622776","provider":"Freshly Printed Books","version":"1.0","type":"link"}