Items related to The Parametric Lambda Calculus: A Metamodel for Computation...
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series) - Hardcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
From the Back Cover
The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways.
The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a uniform approach some lambda calculi modeling different kinds of computations, such as call-by-name, both in its lazy and non-lazy versions, and call-by-value. The parametric presentation allows us both to prove in one step all the fundamental properties of different calculi, and to compare them with each other.
The book includes some classical results in the field of lambda calculi, but completely rephrased using the parametric approach, together with some new results. The lambda calculi are presented from a computer science viewpoint, with particular emphasis on their semantics, both operational and denotational.
This book is dedicated to researchers, and can be used as a textbook for masters or Ph.D. courses on the foundations of computer science.
About the Author
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.
.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2004
- ISBN 10 3540200320
- ISBN 13 9783540200321
- BindingHardcover
- LanguageEnglish
- Number of pages262
Search results for The Parametric Lambda Calculus: A Metamodel for Computation...
Stock Image
The Parametric Lambda Calculus: A Meta-Model for Computation
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2004
ISBN 10: 3540200320
ISBN 13: 9783540200321
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Edition 2004. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-627-446
Quantity: 1 available
Stock Image
The Parametric Lambda Calculus
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-265637
Quantity: 1 available
Stock Image
The Parametric Lambda Calculus
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-92571
Quantity: 1 available
Seller Image
Parametric Lambda Calculus : A Meta-Model for Computation
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 2292428-n
Quantity: Over 20 available
Stock Image
The Parametric Lambda Calculus
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 276. Seller Inventory # 26290823
Quantity: 1 available
Stock Image
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Buchmarie, Darmstadt, Germany
Seller rating 4 out of 5 stars
Condition: Good. Auflage: 2004. Seller Inventory # 2992391_752_3x
Quantity: 1 available
Stock Image
The Parametric Lambda Calculus
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 276 Illus. Seller Inventory # 7589848
Quantity: 1 available
Stock Image
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020162337
Quantity: Over 20 available
Seller Image
The Parametric Lambda Calculus: A Metamodel for Computation (Hardback or Cased Book)
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.
Seller rating 5 out of 5 stars
Hardback or Cased Book. Condition: New. The Parametric Lambda Calculus: A Metamodel for Computation 1.24. Book. Seller Inventory # BBS-9783540200321
Quantity: 5 available
Stock Image
The Parametric Lambda Calculus
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 276. Seller Inventory # 18290829
Quantity: 1 available