Cover Image

The Parametric Lambda Calculus : A Metamodel for Computation /

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

Full description

Bibliographic Details
Main Author:	Rocca, Simona Ronchi Della
Corporate Author:	SpringerLink (Online service)
Other Authors:	Paolini, Luca
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Series:	Texts in Theoretical Computer Science An EATCS Series.
Subjects:	Computer science. Logic design. Artificial intelligence. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1990)

LISP, Lore, and Logic : an Algebraic View of LISP Programming, Foundations, and Applications /
by: Stark, W. Richard
Published: (1990)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /
by: Lau, Kung-Kiu
Published: (1993)

Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994. Proceedings /
by: Fribourg, Laurent
Published: (1994)

Essentials of Constraint Programming /
by: Frühwirth, Thom
Published: (2003)

Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings /
by: Shapiro, Ehud
Published: (1986)

ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 /
by: Broda, Krysia
Published: (1993)

Algebraic Approaches to Program Semantics /
by: Manes, Ernest G.
Published: (1986)

ALPUK 91 : Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 /
by: Wiggins, Geraint A.
Published: (1992)

Extensional Constructs in Intensional Type Theory /
by: Hofmann, Martin
Published: (1997)

Understanding formal methods /
by: Monin, Jean-François
Published: (2003)

Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings /
by: Dix, Jürgen
Published: (1991)

The Logic of Partial Information /
by: Abdallah, Areski Nait
Published: (1995)

Logic for Applications /
by: Nerode, Anil
Published: (1997)

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings /
by: Eijck, J. van (Jan)
Published: (1991)

Automata and Languages : Theory and Applications /
by: Meduna, Alexander
Published: (2000)

State-Space Search : Algorithms, Complexity, Extensions, and Applications /
by: Zhang, Weixiong
Published: (1999)

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings /
by: Baader, Franz
Published: (2003)

Principles and Practice of Constraint Programming - CP'99 : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings /
by: Jaffar, Joxan
Published: (1999)

Logic Programming and Databases /
by: Ceri, Stefano
Published: (1990)

Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings /
by: Bruynooghe, M. (Maurice)
Published: (1993)

Mathematical Methods in Program Development /
by: Broy, Manfred
Published: (1997)

Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do /
by: Tofte, Mads
Published: (1990)

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1989)

Vaguely Defined Objects : Representations, Fuzzy Sets and Nonclassical Cardinality Theory /
by: Wygralak, Maciej
Published: (1996)

Fuzzy Relation Equations and Their Applications to Knowledge Engineering /
by: Nola, Antonio
Published: (1989)

Programming in Prolog /
by: Clocksin, William F.
Published: (1984)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1996)

Fuzzy Logic : Mathematical Tools for Approximate Reasoning /
by: Gerla, Giangiacomo
Published: (2001)

Automated Theorem Proving : Theory and Practice /
by: Newborn, Monroe
Published: (2001)

Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions /
by: Bertot, Yves
Published: (2004)

Fuzzy Databases : Principles and Applications /
by: Petry, Fred
Published: (1996)

Computer Algebra : Symbolic and Algebraic Computation /
by: Buchberger, Bruno
Published: (1983)

Fuzzy Logic Foundations and Industrial Applications /
by: Ruan, Da
Published: (1996)

Formal Specification : Techniques and Applications /
by: Nissanke, Nimal
Published: (1999)

Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19-22, 1995. Proceedings /
by: Montanari, Ugo
Published: (1995)

Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19-22, 1996. Proceedings /
by: Freuder, Eugene C.
Published: (1996)

Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering /
by: Angstenberger, Larisa
Published: (2001)