Titel: The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Verlag: Springer, NY
Erscheinungsjahr: 2004
Sprache: Englisch
ISBN-10: 3540200320
ISBN-13: 9783540200321
Einband: Hardcover
Auflage: 1st
Zustand: Near Fine
Zustand des Schutzumschlags: No Jacket as Issued

�ber diesen Titel

Inhaltsangabe

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.

�ber die Autorin bzw. den 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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

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

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

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

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

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

Widerrufsbelehrung

Versandbedingungen

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.

Versandkosten innerhalb von USA

Versandkosten innerhalb von USA
Bestellmenge	5 bis 20�Werktage	3 bis 6�Werktage
Erster Artikel	EUR 7.46	EUR 11.64

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.