The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

Ronchi Della Rocca, Simona & Paolini, Luca

ISBN 10: 3540200320 ISBN 13: 9783540200321

Edit� par Springer, NY, 2004

Langue: anglais

Etat : Occasion - Bon Couverture rigide

Mettre de c�t�

Vendu par Dorley House Books, Inc., Hagerstown, MD, Etats-Unis

Vendeur AbeBooks depuis 25 octobre 2006

�valuation du vendeur 4 sur 5 �toiles

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Ancien(s) ou d'occasion - Couverture rigide

Etat : Occasion - Bon

Prix: EUR 57,16 Autre devise

EUR 34,15 exp�dition depuis Etats-Unis vers France Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Mettre de c�t�

A propos de cet article

1st printing; pictorial c. 262 clean, unmarked pages.

N� de r�f. du vendeur 120498

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)

�diteur

Springer, NY

Date de parution

2004

Langue

anglais

ISBN � 10 chiffres

3540200320

ISBN � 13 chiffres

9783540200321

Reliure

Hardcover

�dition

1st

�tat de l'article

Near Fine

�tat de la jaquette

No Jacket as Issued

Catalogues du vendeur

A propos de ce titre

Synopsis

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.

� propos de l?auteur

Simona Ronchi Della Rocca: Full Professor of Foundations of Computer Science since 1987, Member of the Editorial Board of TOCL (ACM Transactions on Computational Logic), Member of the Organizing Committee of LICS (Logic in Computer Science), Member of the Accademy of Sciences of Torino

Luca Paolini: PhD student in Computer Science and Discrete Mathematics, Universit� di Genova and Universit� de la Mediterran�e.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Online sellers of rare, out-of-print and used books, prints, maps and ephemera for 30 years

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Dorley House Books, Inc.
155 Cumberland St., P.O. Box 138, Clear Spring, MD, 21722, U.S.A.

Conditions de vente et de livraison

Conditions g�n�rales de vente

Please email any questions to us. CWO. Photos/scans available on request for books, prints and maps over $15.00. All books are returnable within thirty days if returned in the same condition as sent& with good reason. We prefer checks, money orders, or Paypal. All items subject to prior sale.We are a PC, 100% owned by Sandra & Jeffrey Inskeep-Fox

Droit de r�tractation

Conditions d'exp�dition

Domestic Media Mail is $4.85, Priority $7.3. Canadian orders add $8.00. To other locations, global priority $25 for flat rate envelopes. Orders over $45.00 must be insured at buyer's expense, others can be insured if requested and at buyer's expense. Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. Please note that there is no longer an economy surface shipping to overseas locations.

Frais d?exp�dition de Etats-Unis�vers�France

Frais d?exp�dition de Etats-Unis�vers�France
Quantit� command�e	21 � 36 jours ouvr�s	5 � 8 jours ouvr�s
Premier article	EUR 34.15	EUR 38.42

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.