Category Theory and Computer Science
by P-.L. Curien (Editor)S. Abramsky (Editor)A. M.. Pitts (Editor)Axel Poigne (Editor)David E. Rydeheard (Editor)
Format: Paperback
ISBN13: 9783540544951
Paperback|9783540544951
✨ Featured Offer
Brand New
$58.73
List Price: $54.99
🚚
See all 3 offers from $54.61 FREE standard delivery by: 04 Apr 2026
Overview
The papers in this volume were presented at the fourthbiennial Summer Conference on Category Theory and ComputerScience, held in Paris, September3-6, 1991. Category theorycontinues to be an important tool in foundationalstudies incomputer science. It has been widely applied by logicians toget concise interpretations of many logical concepts. Linksbetween logic and computer science have been developed nowfor over twenty years, notably via the Curry-Howardisomorphism which identifies programs with proofs and typeswith propositions. The triangle category theory - logic -programming presents a rich world of interconnections.Topics covered in this volume include the following. Typetheory: stratification of types and propositions can bediscussed in a categorical setting. Domain theory: syntheticdomain theory develops domain theory internally in theconstructive universe of the effective topos. Linear logic:the reconstruction of logic based on propositions asresources leads to alternatives to traditional syntaxes. Theproceedings of the previous three category theoryconferences appear as Lecture Notes in Computer ScienceVolumes 240, 283 and 389.
| ISBN-13 | 9783540544951 |
|---|---|
| ISBN-10 | 354054495X |
| Weight | 0.98 Pounds |
| Dimensions | 6.10 x 0.72 x 9.25 In |
| List Price | $54.99 |
| Edition | 1st Edition |
| Format | Paperback |
|---|---|
| Language | English |
| Pages | viii, 304 pages |
| Publisher | Springer |
| Published On | 1991-08-21 |
View All Offers
Sort by:
Price
Condition
Seller
Seller Comments
Price
Used, Very Good
Seller details
GuthrieBooks
Spring Branch, TX, USA
Size: 6x0x9; 038754495X Ex-library paperback in very nice condition with the usual markings and at...
Free delivery by: 04 Apr 2026
✨ Brand New
Seller details
Alibris
Sparks, NV, USA
Print on demand Trade paperback (US). Glued binding. 304 p. Contains: Unspecified. Lecture Notes in...
Free delivery by: 04 Apr 2026
Used, Good
Seller details
Bonita
Santa Clarita, CA, USA
Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Free delivery by: 04 Apr 2026