Authors:
- 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)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (16 chapters)
-
Front Matter
-
Operational Semantics
-
Front Matter
-
-
Denotational Semantics
-
Front Matter
-
-
Computational Power
-
Front Matter
-
About this book
Authors and Affiliations
-
Dipartimento di Informatica, Università di Torino, Torino, Italy
Simona Ronchi Della Rocca, Luca Paolini
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