Titel: The Parametric Lambda Calculus: A Metamodel for Computation (Hardback or Cased Book)
Verlag: Springer 7/5/2004
Erscheinungsjahr: 2004
Sprache: Englisch
ISBN-10: 3540200320
ISBN-13: 9783540200321
Einband: Hardback or Cased Book
Zustand: New
Gewicht: 1,24�Pfund
Buchtyp: Book

�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

Save up to 90% on your favorite items at BargainBookStores.com! Our 20,000 square foot warehouse in Grand Rapids, Michigan is filled with hundreds of thousands of books and consumer goods, all at the lowest prices! We've been serving internet customers with great deals since 2001. All books ship from Grand Rapids, Michigan. 100% Customer Satisfaction Guaranteed We want to ensure your satisfaction. If you are dissatisfied with your purchase or shopping experience, we would like to hear from you. Please contact us by email: cs@bargainbookstores.com. Please be sure to include your contact information and order number. We do not charge a restocking fee for returns. Your Privacy BargainBookStores.com does not provide, sell or market customer information to other businesses or organizations.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

BargainBookStores
3423 Lousma Dr SE, Grand Rapids, MI, 49548, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

BargainBookStores guarantees 100% Customer Satisfaction. We ship worldwide and offer a variety of shipping methods to meet your needs. Please place your order directly via ABEBooks.com. We accept payment by MasterCard and Visa. For more information, contact us by email at cs@bargainbookstores.com. Full contact info is below:

BargainBookStores.com LLC
3423 Lousma Dr SE
Grand Rapids, MI 49548

Widerrufsbelehrung

Versandbedingungen

We will ship to all domestic and most international destinations.

Please note: Shipping times are estimated and are not guaranteed by BargainBookStores.

Versandkosten innerhalb von USA

Versandkosten innerhalb von USA
Bestellmenge	4 bis 10�Werktage	4 bis 9�Werktage
Erster Artikel	EUR 0.00	EUR 34.15

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.