DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.
Do not abandon yourselves to despair. We are the Easter people and hallelujah is our song.
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]
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]
Pitt David H. Editor; Rydeheard David E. Editor; Dybjer Peter Editor; Pitts Andrew Editor; Poigne Axel Editor;
USD
50.27
GuthrieBooks /Biblio
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]
Pitt, David H. [Editor]; Rydeheard, David E. [Editor]; Dybjer, Peter [Editor]; Pitts, Andrew [Editor]; Poigne, Axel [Editor];
USD
51.27
GuthrieBooks via Alibris /Alibris
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.
Pitt, David H. [Editor]; Rydeheard, David E. [Editor]; Dybjer, Peter [Editor]; Pitts, Andrew [Editor]; Poigne, Axel [Editor];
USD
51.27
GuthrieBooks /Abebooks
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]
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]
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]
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]
ISBN10: 354051662X, ISBN13: 9783540516620, [publisher: Springer] Softcover Like New [Redhill, SURRE, United Kingdom] [Publication Year: 1989]
DISCLOSURE:
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission at no extra cost to you. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network, Amazon and Alibris.