Articles liés à Category Theory and Computer Science: Manchester, UK,...

Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings - Couverture souple

Dybjer, Peter; Pitts, Andrew M.; Poigne, Axel; Rydeheard, David E.; Pitt, David H.

 
9783540516620: Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings
Couverture souple
ISBN 10 : 354051662X ISBN 13 : 9783540516620
Editeur : Springer, 2008

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2008
Langue
anglais
ISBN 10 
354051662X
ISBN 13 
9783540516620
Reliure
Broché
Nombre de pages
380
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

état :  Assez bon
Ex-library paperback in very nice...
Afficher cet article
9783540516620: Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings
EUR 45,21

Autre devise

EUR 6 expédition vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783540516620: Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings
EUR 48,61

Autre devise

EUR 5,99 expédition vers Etats-Unis

Destinations, frais et délais

Autres éditions populaires du même titre

9780387516622: Category Theory and Computer Science: Manchester, Uk, September 5-8, 1989 Proceedings

Edition présentée

ISBN 10 :  038751662X ISBN 13 :  9780387516622
Editeur : Springer Nature, 1989
Couverture souple

Résultats de recherche pour Category Theory and Computer Science: Manchester, UK,...

Image d'archives

Pitt, David H. [Editor]; Rydeheard, David E. [Editor]; Dybjer, Peter [Editor]; Pitts, Andrew [Editor]; Poigne, Axel [Editor];
Edité par Springer, 1989
ISBN 10 : 354051662X ISBN 13 : 9783540516620
Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N° de réf. du vendeur DA1411651

Contacter le vendeur

Acheter D'occasion

EUR 45,21
Autre devise
Frais de port : EUR 6
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Dybjer, Peter; Pitts, Andrew M.; Poigne, Axel; Rydeheard, David E.; Pitt, David H.
Edité par Springer, 1989
ISBN 10 : 354051662X ISBN 13 : 9783540516620
Neuf Couverture souple

Vendeur : Best Price, Torrance, CA, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783540516620

Contacter le vendeur

Acheter neuf

EUR 48,61
Autre devise
Frais de port : EUR 5,99
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Dybjer, Peter; Pitts, Andrew M.; Poigne, Axel; Rydeheard, David E.; Pitt, David H.
Edité par Springer, 1989
ISBN 10 : 354051662X ISBN 13 : 9783540516620
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020168955

Contacter le vendeur

Acheter neuf

EUR 52,64
Autre devise
Frais de port : EUR 3,42
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Dybjer, Peter, Andrew M. Pitts and Axel Poigne:
Edité par Springer, 1989
ISBN 10 : 354051662X ISBN 13 : 9783540516620
Ancien ou d'occasion Couverture souple

Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur 371179

Contacter le vendeur

Acheter D'occasion

EUR 38,09
Autre devise
Frais de port : EUR 24
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Dybjer, Peter; Pitts, Andrew M.; Poigne, Axel; Rydeheard, David E.; Pitt, David H.
Edité par Springer, 1989
ISBN 10 : 354051662X ISBN 13 : 9783540516620
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783540516620_new

Contacter le vendeur

Acheter neuf

EUR 54,31
Autre devise
Frais de port : EUR 13,85
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Pitt, David H.
Edité par Springer 1989-08, 1989
ISBN 10 : 354051662X ISBN 13 : 9783540516620
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540516620

Contacter le vendeur

Acheter neuf

EUR 50,69
Autre devise
Frais de port : EUR 17,90
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

David H. Pitt
ISBN 10 : 354051662X ISBN 13 : 9783540516620
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540516620

Contacter le vendeur

Acheter neuf

EUR 50,28
Autre devise
Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Dybjer, Peter; Pitts, Andrew M.; Poigne, Axel; Rydeheard, David E.; Pitt, David H.
Edité par Springer, 1989
ISBN 10 : 354051662X ISBN 13 : 9783540516620
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 376. N° de réf. du vendeur 263103948

Contacter le vendeur

Acheter neuf

EUR 72,05
Autre devise
Frais de port : EUR 3,42
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

David H. Pitt
Edité par Springer Berlin Heidelberg, 1989
ISBN 10 : 354051662X ISBN 13 : 9783540516620
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540516620

Contacter le vendeur

Acheter neuf

EUR 50,28
Autre devise
Frais de port : EUR 30,84
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Dybjer, Peter; Pitts, Andrew M.; Poigne, Axel; Rydeheard, David E.; Pitt, David H.
Edité par Springer, 1989
ISBN 10 : 354051662X ISBN 13 : 9783540516620
Neuf Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur 5825299

Contacter le vendeur

Acheter neuf

EUR 73,65
Autre devise
Frais de port : EUR 7,51
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

There are 4 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre