The Parametric Lambda Calculus - A Metamodel for Computation (Paperback, Softcover reprint of hardcover 1st ed. 2004)

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."

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Texts in Theoretical Computer Science. An EATCS Series
Release date:	December 2010
First published:	2004
Authors:	Simona Ronchi Della Rocca • Luca Paolini
Dimensions:	235 x 155 x 15mm (L x W x T)
Format:	Paperback
Pages:	248
Edition:	Softcover reprint of hardcover 1st ed. 2004
ISBN-13:	978-3-642-05746-5
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > General Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-642-05746-2
Barcode:	9783642057465

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!