1. Category Theory and Computer Science : Manchester UK September 5 8 1989. Proceedings
by David H. Pitt 
Price: USD 60.99
Dealer: Biblio, Ria Christie Collections
Description: New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings. ISBN 354051662x 9783540516620 [GB] 

2. Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings
by David H. Pitt 
Price: USD 62.66
Dealer: AbebooksDE, AHA-BUCH GmbH
Description: ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer Berlin Heidelberg] Softcover 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. [Einbeck, Germany] [Publication Year: 1989]  

3. Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings
by David H. Pitt 
Price: USD 56.25
Dealer: ZVAB, AHA-BUCH GmbH
Description: ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer Berlin Heidelberg] Softcover 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. [Einbeck, Germany] [Publication Year: 1989]  

4. Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings
by Pitt, David H. 
Price: USD 53.16
Dealer: AbebooksUK, Chiron Media
Description: ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer 1989-08] Softcover [Wallingford, United Kingdom] [Publication Year: 1989]  

5. Category Theory and Computer Science: Manchester UK September 5 8 1989. Proceedings
by David H. Pitt 
Price: USD 68.14
Dealer: Biblio, The Saint Bookstore
Description: Paperback / softback. New. ISBN 354051662x 9783540516620 [GB] 

6. Category Theory and Computer Science: Manchester UK September 5 8 1989. Proceedings Lecture Notes in Computer Science
by David H. Pitt Editor David E. Rydeheard Editor Peter Dybjer Editor Andrew Pitts Editor Axel Poigne Editor 
Price: USD 94.49
Dealer: Biblio, Ergodebooks
Description: Springer, Date: 1989-09-20. 1989. Paperback. Used:Good. 1989. Springer ISBN 354051662X 9783540516620 [US] 

7. Category Theory and Computer Science: Manchester UK September 5 8 1989. Proceedings Lecture Notes in Computer Science
by Pitt David H. Editor; Rydeheard David E. Editor; Dybjer Peter Editor; Pitts Andrew Editor; Poigne Axel Editor; 
Price: USD 50.27
Dealer: Biblio, GuthrieBooks
Description: Springer, Date: 1989-09-20. Paperback. Very Good. 6x0x9. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. 1989. Springer ISBN 354051662X 9783540516620 [US] 

8. Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science (389)) by Dybjer, Peter, Pitts, Andrew M., Poigne, Axel, Rydeheard, David E., Pitt, David H. [Paperback ]
by Dybjer, Peter , Pitts, Andrew M. , Poigne, Axel , Rydeheard, David E. , Pitt, David H.  
Price: USD 55.83
Dealer: Abebooks, booksXpress
Description: ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover [Bayonne, NJ, U.S.A.] [Publication Year: 1989]  

9. Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
by Dybjer, Peter, Andrew M. Pitts and Axel Poigne: 
Price: USD 42.42
Dealer: AbebooksDE, NEPO UG
Description: ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover 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 [Rüsselsheim am Main, Germany] [Publication Year: 1989]  

10. Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
by Dybjer, Peter, Andrew M. Pitts and Axel Poigne: 
Price: USD 38.09
Dealer: ZVAB, NEPO UG
Description: ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover 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 [Rüsselsheim am Main, Germany] [Publication Year: 1989]  

11. Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
by Pitt, David H. [Editor]; Rydeheard, David E. [Editor]; Dybjer, Peter [Editor]; Pitts, Andrew [Editor]; Poigne, Axel [Editor]; 
Price: USD 51.27
Dealer: Abebooks, GuthrieBooks
Description: ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. [Spring Branch, TX, U.S.A.] [Publication Year: 1989]  

12. Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
by Pitt, David H. [Editor]; Rydeheard, David E. [Editor]; Dybjer, Peter [Editor]; Pitts, Andrew [Editor]; Poigne, Axel [Editor]; 
Price: USD 51.27
Dealer: Alibris, GuthrieBooks via Alibris
Description: Springer 1989-09-20 1989 ed. Paperback Very Good Size: 6x0x9; Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. 

13. Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389)
Price: USD 59.29
Dealer: Abebooks, Lucky's Textbooks
Description: ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover [Dallas, TX, U.S.A.] [Publication Year: 1989]  

14. Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389)
Price: USD 101.11
Dealer: AbebooksUK, Mispah books
Description: ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover Like New [Redhill, SURRE, United Kingdom] [Publication Year: 1989]  

15. Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389)
by Pitt, David H (Editor), and Rydeheard, David E (Editor), and Dybjer, Peter (Editor) 
Price: USD 91.92
Dealer: Alibris, Bonita via Alibris
Description: Springer 1989 1989 ed. paperback Good Access codes and supplements are not guaranteed with used items. May be an ex-library book. 

16. Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings
by Pitt, David H (Editor), and Rydeheard, David E (Editor), and Dybjer, Peter (Editor) 
Price: USD 51.65
Dealer: Alibris
Description: Berlin, Heidelberg Springer 1989 1989 ed. Trade paperback New. Trade paperback (US). Glued binding. 372 p. Lecture Notes in Computer Science, 389. 

17. Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings
by Pitt, David H (Editor), and Rydeheard, David E (Editor), and Dybjer, Peter (Editor) 
Price: USD 69.01
Dealer: Alibris, Ria Christie Books via Alibris
Description: Berlin, Heidelberg Springer 1989 1989 ed. Trade paperback New. Trade paperback (US). Glued binding. 372 p. Lecture Notes in Computer Science, 389. 

18. Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989. Proceedings
by Pitt, David H (Editor), and Rydeheard, David E (Editor), and Dybjer, Peter (Editor) 
Price: USD 66.05
Dealer: Alibris, ShopSpell via Alibris
Description: Berlin, Heidelberg Springer 1989 1989 ed. Trade paperback New. Trade paperback (US). Glued binding. 372 p. Lecture Notes in Computer Science, 389.