Simona Ronchi Della Rocca

(Author)

The Parametric Lambda Calculus: A Metamodel for ComputationPaperback, 4 December 2010

The Parametric Lambda Calculus: A Metamodel for Computation
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Turbo Shipping
Part of Series
Texts in Theoretical Computer Science. an Eatcs
Print Length
248 pages
Language
English
Publisher
Springer
Date Published
4 Dec 2010
ISBN-10
3642057462
ISBN-13
9783642057465

Description

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.

Product Details

Authors:
Simona Ronchi Della RoccaLuca Paolini
Book Format:
Paperback
Country of Origin:
NL
Date Published:
4 December 2010
Dimensions:
23.39 x 15.6 x 1.45 cm
ISBN-10:
3642057462
ISBN-13:
9783642057465
Language:
English
Location:
Berlin, Heidelberg
Pages:
248
Publisher:
Weight:
385.55 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.