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