Overview
- Completely new presentation of classical results in the Lambda Calculus field together with some new results
- Includes supplementary material: sn.pub/extras
Part of the book series: Texts in Theoretical Computer Science. An EATCS Series (TTCS)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (16 chapters)
-
Syntax
-
Operational Semantics
-
Denotational Semantics
-
Computational Power
Authors and Affiliations
About the authors
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.
.
Bibliographic Information
Book Title: The Parametric Lambda Calculus
Book Subtitle: A Metamodel for Computation
Authors: Simona Ronchi Della Rocca, Luca Paolini
Series Title: Texts in Theoretical Computer Science. An EATCS Series
DOI: https://doi.org/10.1007/978-3-662-10394-4
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2004
Hardcover ISBN: 978-3-540-20032-1Published: 05 July 2004
Softcover ISBN: 978-3-642-05746-5Published: 04 December 2010
eBook ISBN: 978-3-662-10394-4Published: 09 March 2013
Series ISSN: 1862-4499
Series E-ISSN: 1862-4502
Edition Number: 1
Number of Pages: XIV, 248
Topics: Mathematical Logic and Foundations, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Computation by Abstract Devices, Logics and Meanings of Programs, Artificial Intelligence