{"product_id":"semantics-and-logics-of-computation-paperback-9780521118460","title":"Semantics and Logics of Computation (Paperback) 9780521118460","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eSemantics and Logics of Computation\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cem\u003eSummer school lecture courses on modern logic and computation are presented here.\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003cp\u003e\u003cfont size=\"4\"\u003eAndrew M. Pitts (Edited by), P. Dybjer (Edited by)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9780521118460, Cambridge University Press\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003ePaperback, published 20 August 2009\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e376 pages\u003cbr\u003e22.9 x 15.2 x 2.1 cm, 0.55 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: '… the book gives an attractive thematic overview of recent advances in the semantics and logics of computation. Students and researchers alike will find the book valuable as a reference and a pleasure to read.' The Computer Journal\u003c\/font\u003e\u003c\/em\u003e\u003c\/p\u003e\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003eThe aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eList of contributors\u003cbr\u003e Preface\u003cbr\u003e 1. Semantics of interaction: an introduction to game semantics Samson Abramsky\u003cbr\u003e 2. Computational content of classical logic Thierry Coquand\u003cbr\u003e 3. Syntax and semantics of dependent types Martin Hofmann\u003cbr\u003e 4. Game semantics Martin Hyland\u003cbr\u003e 5. Metalanguages and applications Eugenio Moggi\u003cbr\u003e 6. Operationally-based theories of program equivalence Andrew Pitts\u003cbr\u003e 7. Categories in  concurrency Glynn Winskel and Mogens Nielsen\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]\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":46006530965784,"sku":"9780521118460","price":40.99,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/products\/9780521118460i_42f0f330-833a-4238-8b71-6f6b8b51aac8.jpg?v=1691371606","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/semantics-and-logics-of-computation-paperback-9780521118460","provider":"Freshly Printed Books","version":"1.0","type":"link"}