Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom

Langue : anglais

Edité par Springer-Verlag, 1995

354059048X / 9783540590484

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

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2003

Membre d’une association professionnelle : IOBA

Livre broché

Etat: Occasion

EUR 25,64

EUR 3,56 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

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

Titre
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom
Auteur
Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon (Eds.)
Éditeur
Springer-Verlag
Année de publication
1995
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
354059048X
ISBN à 13 chiffres
9783540590484
Édition
Reprint edition

George Cross Books

Lexington, MA, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 11 juin 2003

Membre d’une association professionnelle :

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article5 à 14 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 3,56EUR 8,89
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • En espèces
  • Facture
  • Mandat
  • Paypal

Description de la boutique

Specializing in monographs and texts in Mathematics, Computer Science, Science, Engineering, Social Sciences, Psychology. Photography and Science Fiction.

Spécialité

Photography, Science Fiction, Social Sciences, Science, Computer Science, Mathematics

Membre d’une association professionnelle

  • Independent Online Booksellers Association
Les membres de ces associations s'engagent à respecter des critères de qualité particulièrement contraignants. Ils se portent garants de l'authenticité de tous les articles proposés à la vente. Ils fournissent des descriptions détaillées et professionnelles, signalent tous défauts et/ou traitements de restauration importants, établissent des prix clairs et précis et font preuve d'équité et d'honnêteté lors de l'achat d'un article.

Profil professionnel du vendeur

George Cross Books

MA, Etats-Unis