The Parametric Lambda Calculus : A Metamodel for Computation - Simona Ronchi Della Rocca

The Parametric Lambda Calculus

A Metamodel for Computation

By: Simona Ronchi Della Rocca, Luca Paolini

Hardcover | 5 July 2004

At a Glance

Hardcover


$111.38

or 4 interest-free payments of $27.84 with

 or 

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

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.

Other Editions and Formats

Paperback

Published: 4th December 2010

More in Computer Science

Windows 11 For Seniors For Dummies, 2nd Edition - Curt Simmons
The Nvidia Way : Jensen Huang and the Making of a Tech Giant - Tae Kim
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.50

26%
OFF
Robotics Goes MOOC : Interaction - Bruno Siciliano
Information Governance Technologies : A Guide - William Saffady

RRP $270.00

$243.25

10%
OFF
Fuzzy Methods for Assessment and Decision Making - Michael Gr. Voskoglou

RRP $272.95

$242.25

11%
OFF
Life 3.0 : Being Human in the Age of Artificial Intelligence - Max Tegmark
Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$29.75

20%
OFF
MRI in Practice : 5th Edition - Catherine Westbrook

RRP $82.95

$54.35

34%
OFF
Artificial Intelligence : A Modern Approach, 4th Global Edition - Peter Norvig
How We Learn : The New Science of Education and the Brain - Stanislas Dehaene
Man-Made : How the bias of the past is being built into the future - Tracey Spicer
The Shortest History of AI - Toby Walsh

RRP $27.99

$22.50

20%
OFF
Windows 11 For Dummies, 2nd Edition : Windows 11 For Dummies - Alan Simpson
2054 : A Novel - Elliot Ackerman

Paperback

RRP $22.99

$20.35

11%
OFF