Articles liés à Typed Lambda Calculi and Applications: Second International...

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings - Couverture souple

 
9783540590484: Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings

Synopsis

This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.
The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems.

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

  • ÉditeurSpringer
  • Date d'édition2008
  • ISBN 10 354059048X
  • ISBN 13 9783540590484
  • ReliureBroché
  • Langueanglais
  • Nombre de pages460
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Assez bon
pp.viii, 442 pages, a very good...
Afficher cet article
EUR 11,12

Autre devise

EUR 8,66 expédition depuis Royaume-Uni vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 45,44

Autre devise

Gratuit expédition depuis Etats-Unis vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9780387590486: Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications Tlca '95 Edinburgh United Kingdom

Edition présentée

ISBN 10 :  038759048X ISBN 13 :  9780387590486
Couverture rigide

Résultats de recherche pour Typed Lambda Calculi and Applications: Second International...

Image d'archives

Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon
Edité par Springer Berlin Heidelberg, 1995
ISBN 10 : 354059048X ISBN 13 : 9783540590484
Ancien ou d'occasion Soft cover

Vendeur : G. & J. CHESTERS, TAMWORTH, Royaume-Uni

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

Soft cover. Etat : Very Good. pp.viii, 442 pages, a very good paperback [354059048X]. From a university library. N° de réf. du vendeur 138135

Contacter le vendeur

Acheter D'occasion

EUR 11,12
Autre devise
Frais de port : EUR 8,66
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon (Eds.)
Edité par Springer-Verlag, 1995
ISBN 10 : 354059048X ISBN 13 : 9783540590484
Ancien ou d'occasion Paperback

Vendeur : George Cross Books, Lexington, MA, Etats-Unis

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

Paperback. Reprint edition. Very Good/Wraps (34592) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 902 This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995. The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems. 443. N° de réf. du vendeur 34592

Contacter le vendeur

Acheter D'occasion

EUR 25,24
Autre devise
Frais de port : EUR 17,50
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Plotkin, Gordon; Dezani-Ciancaglini, Mariangiola
Edité par Springer, 1995
ISBN 10 : 354059048X ISBN 13 : 9783540590484
Neuf Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis

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

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABNR-93176

Contacter le vendeur

Acheter neuf

EUR 45,44
Autre devise
Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

0
Edité par Springer, 1995
ISBN 10 : 354059048X ISBN 13 : 9783540590484
Neuf Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-Unis

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

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-267989

Contacter le vendeur

Acheter neuf

EUR 45,44
Autre devise
Frais de port : EUR 2,93
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Dezani-Ciancaglini, Mariangiola|Plotkin, Gordon
Edité par Springer Berlin Heidelberg, 1995
ISBN 10 : 354059048X ISBN 13 : 9783540590484
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

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

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively reports t. N° de réf. du vendeur 4894927

Contacter le vendeur

Acheter neuf

EUR 48,37
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Plotkin, Gordon; Dezani-Ciancaglini, Mariangiola
Edité par Springer, 1995
ISBN 10 : 354059048X ISBN 13 : 9783540590484
Ancien ou d'occasion 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 : Used. pp. 460. N° de réf. du vendeur 263069893

Contacter le vendeur

Acheter D'occasion

EUR 54,56
Autre devise
Frais de port : EUR 7,88
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Plotkin, Gordon; Dezani-Ciancaglini, Mariangiola
Edité par Springer, 1995
ISBN 10 : 354059048X ISBN 13 : 9783540590484
Ancien ou d'occasion Couverture souple

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 : Used. pp. 460 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 5859354

Contacter le vendeur

Acheter D'occasion

EUR 53,43
Autre devise
Frais de port : EUR 10,50
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Dezani-Ciancaglini Mariangiola Plotkin Gordon
Edité par Springer, 1995
ISBN 10 : 354059048X ISBN 13 : 9783540590484
Ancien ou d'occasion Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

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

Etat : Used. pp. 460. N° de réf. du vendeur 183069903

Contacter le vendeur

Acheter D'occasion

EUR 56,06
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Gordon Plotkin
Edité par Springer Berlin Heidelberg, 1995
ISBN 10 : 354059048X ISBN 13 : 9783540590484
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 volume presents the proceedings of the Second International Conference on Typed Lambda Calculi and Applications, held in Edinburgh, UK in April 1995.The book contains 29 full revised papers selected from 58 submissions and comprehensively reports the state of the art in the field. The following topics are addressed: proof theory of type systems, logic and type systems, typed lambda calculi as models of (higher-order) computation, semantics of type systems, proof verification via type systems, type systems of programming languages, and typed term rewriting systems. N° de réf. du vendeur 9783540590484

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Plotkin, Gordon; Dezani-Ciancaglini, Mariangiola
Edité par Springer, 1995
ISBN 10 : 354059048X ISBN 13 : 9783540590484
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 ria9783540590484_new

Contacter le vendeur

Acheter neuf

EUR 62,09
Autre devise
Frais de port : EUR 4,73
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 6 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre