Get Free Shipping on orders over $79
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

eText | 9 March 2013

At a Glance

eText


$84.99

or 4 interest-free payments of $21.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.
on
Desktop
Tablet
Mobile

Other Editions and Formats

Paperback

Published: 4th December 2010

More in Mathematical Logic

That Learner - Owen Chiwandika

eBOOK

$12.99

AI Breaking Boundaries - Avinash Vanam

eBOOK

Partial Truths : How Fractions Distort Our Thinking - James C. Zimring

eBOOK