Titolo: The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Editore: Springer, NY
Data di pubblicazione: 2004
Lingua: Inglese
ISBN 10: 3540200320
ISBN 13: 9783540200321
Rilegatura: Hardcover
Edizione: 1st
Condizione: Near Fine
Condizione della sovraccoperta: No Jacket as Issued

Descrizione articolo

Riassunto

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.

Informazioni sull?autore

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

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

Visita la pagina della libreria

Informazioni sull?azienda del venditore

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

Condizioni di vendita e spedizione

Condizioni di vendita

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

Diritto di recesso

Condizioni di spedizione

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.

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 5 a 20 giorni lavorativi	Da 3 a 6 giorni lavorativi
Primo articolo	EUR 7.46	EUR 11.64

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.