{"product_id":"9783540544951","title":"Lecture Notes in Computer Science: Paris, France, September 3-6, 1991. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: Paris, France, September 3-6, 1991. Proceedings\u003c\/h1\u003e \u003ch2\u003ePitt, David H.; Curien, Pierre-Louis; Abramsky, Samson; Pitts, Andrew; Poigne, Axel; Rydeheard, David E.\u003c\/h2\u003e \u003cp\u003eThe papers in this volume were presented at the fourth\nbiennial Summer      Conference on Category Theory and Computer\nScience, held in Paris, September3-6, 1991. Category theory\ncontinues to be an important tool in foundationalstudies in\ncomputer science. It has been widely applied by logicians        to\nget concise interpretations of many logical concepts. Links\nbetween  logic and computer science have been developed now\nfor over twenty years,   notably via the Curry-Howard\nisomorphism which identifies programs with     proofs and types\nwith propositions. The triangle category theory - logic    -\nprogramming presents a rich world of interconnections.\nTopics covered in this volume include the following. Type\ntheory: stratification of types  and propositions can be\ndiscussed in a categorical setting. Domain theory:  synthetic\ndomain theory develops domain theory internally in                the\nconstructive universe of the effective topos. Linear logic:\nthe     reconstruction of logic based on propositions as\nresources leads to         alternatives to traditional syntaxes. The\nproceedings of the previous three category theory\nconferences appear as Lecture Notes in Computer             Science\nVolumes 240, 283 and 389.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1991-08-21\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540544951\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0013452\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 304\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45369844203660,"sku":"9783540544951","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540544951.jpg?v=1773965475","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540544951","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}