Order Total (1 Item Items):
Shipping Destination:
Pitts Andrew Dybjer Peter (14 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (14)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (5)
- Not Print on Demand (9)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
£ 34.04
Convert currency£ 7.81 shipping from Germany to United KingdomQuantity: 1 available
Add to basketCondition: Gut. Auflage: 1989. 380 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 536 23,4 x 15,6 x 1,8 cm, Taschenbuch.
-
PF. Condition: New.
-
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 45.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 354051662X ISBN 13: 9783540516620
Language: English
£ 44.93
Convert currency£ 12.14 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
-
£ 63.63
Convert currency£ 6.71 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New. pp. 376.
-
Category Theory and Computer Science
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1989, 1989
ISBN 10: 354051662X ISBN 13: 9783540516620
Language: English
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
£ 44.93
Convert currency£ 30.37 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. Neuware -This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 376 pp. Englisch.
-
£ 39.29
Convert currency£ 55.93 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Paperback. Condition: Like New. Like New. book.
-
£ 45.73
Convert currency£ 55.93 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
Category Theory and Computer Science
Published by Springer Berlin Heidelberg Aug 1989, 1989
ISBN 10: 354051662X ISBN 13: 9783540516620
Language: English
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
£ 44.93
Convert currency£ 9.54 shipping from Germany to United KingdomQuantity: 2 available
Add to basketTaschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory. 376 pp. Englisch.
-
Category Theory and Computer Science
Published by Springer Berlin Heidelberg, 1989
ISBN 10: 354051662X ISBN 13: 9783540516620
Language: English
£ 40.87
Convert currency£ 21.68 shipping from Germany to United KingdomQuantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective.- An algebraic view of interleaving and distributed operational semantics for CCS.- Temporal structures.- Compositional .
-
Condition: New. Print on Demand pp. 376 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
£ 69.20
Convert currency£ 6.90 shipping from Germany to United KingdomQuantity: 4 available
Add to basketCondition: New. PRINT ON DEMAND pp. 376.
-
Hardcover. Condition: Brand New. 361 pages. 9.25x6.25x0.75 inches. In Stock. This item is printed on demand.
