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

The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) Author: -
eBook Title: The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
ISBN10: 3540200320
ISBN13: 978-3540200321
Language: English
Publisher: Springer; 2004 edition (November 18, 2004)
Category: Computers & Technology
Subcategory: Computer Science
Size ePub vers.: 1265 kb
Size PDF vers.: 1865 kb
Other formats: cb7, odf, pdf, azw, ibooks, mobi
Rating: 4.8
Votes: 272
Pages: 248 pages

The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.

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