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

Editorial: Springer, NY, 2004

Idioma: Ingl�s

Condici�n: Usado - Muy bueno Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Dorley House Books, Inc., Hagerstown, MD, Estados Unidos de America

Vendedor de AbeBooks desde 25 de octubre de 2006

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa dura

Condici�n: Usado - Muy bueno

Precio: EUR 57,15 Convertir moneda

EUR 34,14 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

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

N� de ref. del art�culo 120498

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

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

Editor

Springer, NY

Fecha de publicaci�n

2004

Idioma

Ingl�s

ISBN 10

3540200320

ISBN 13

9783540200321

Encuadernaci�n

Hardcover

Edici�n

1st

Estado

Near Fine

Estado de la sobrecubierta

No Jacket as Issued

Cat�logos de vendedores

Acerca de

Sinopsis

The A-calculus was invented by Church in the 1930s with the purpose of sup� plying a logical foundation for logic and mathematics [25]. Its use by Kleene as a coding for computable functions makes it the first programming lan� guage, in an abstract sense, exactly as the Thring machine can be considered the first computer machine [57]. The A-calculus has quite a simple syntax (with just three formation rules for terms) and a simple operational seman� tics (with just one operation, substitution), and so it is a very basic setting for studying computation properties. The first contact between A-calculus and real programming languages was in the years 1956-1960, when McCarthy developed the LISP programming language, inspired from A-calculus, which is the first "functional" program� ming language, Le., where functions are first-dass citizens [66]. But the use of A-calculus as an abstract paradigm for programming languages started later as the work of three important scientists: Strachey, Landin and B6hm.

Acerca del autor

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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

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

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

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

Condiciones de venta y env�o

Condiciones de venta

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

Derecho a cancelaci�n

Condiciones de env�o

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.

Tarifas de env�o de Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 25 a 45 d�as h�biles	De 8 a 14 d�as h�biles
Primer art�culo	EUR 34.14	EUR 40.97

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.