Your Waterstones card is changing, introducing...
TELL ME MORE
The Parametric Lambda Calculus: A Metamodel for Computation - Texts in Theoretical Computer Science. An EATCS Series (Hardback)
  • The Parametric Lambda Calculus: A Metamodel for Computation - Texts in Theoretical Computer Science. An EATCS Series (Hardback)
zoom

The Parametric Lambda Calculus: A Metamodel for Computation - Texts in Theoretical Computer Science. An EATCS Series (Hardback)

(author), (author)
£59.99
Hardback 248 Pages / Published: 05/07/2004
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540200321
Number of pages: 248
Weight: 1250 g
Dimensions: 235 x 155 x 17 mm
Edition: 2004 ed.

You may also be interested in...

Foundation Mathematics
Added to basket
Equation That Couldn't be Solved
Added to basket
Numbers and Proofs
Added to basket
£46.99
Paperback
Logic for Dummies
Added to basket
£13.99
Paperback
How to Prove It
Added to basket
Modern Logic
Added to basket
£77.99
Paperback
Conceptual Mathematics
Added to basket
Sets, Logic and Categories
Added to basket
The Foundations of Mathematics
Added to basket
An Introduction to Non-Classical Logic
Added to basket
Math Girls
Added to basket
£11.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.