.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Category Theory and Computer Science
. Ed(S): Pitt, David H.; Curien, P-.L.; Abramsky, Samson; Pitts, Andrew M.; Poigne, Axel; Rydeheard, D. E.
€ 70.46
FREE Delivery in Ireland
Description for Category Theory and Computer Science
Paperback. The papers in this volume were presented at the fourth biennial Summer Conference on Category and Computer Science. Category theory continues to be an important tool in foundational studies in computer science. Editor(s): Pitt, David H.; Curien, P-.L.; Abramsky, Samson; Pitts, Andrew M.; Poigne, Axel; Rydeheard, D. E. Series: Lecture Notes in Computer Science. Num Pages: 304 pages, biography. BIC Classification: PBC; UY. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 16. Weight in Grams: 445.
The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies programs with proofs and types with propositions. The ... Read more
The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get concise interpretations of many logical concepts. Links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism which identifies programs with proofs and types with propositions. The ... Read more
Product Details
Format
Paperback
Publication date
1991
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
304
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
304
Place of Publication
Berlin, Germany
ISBN
9783540544951
SKU
V9783540544951
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Category Theory and Computer Science