BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

A Lambda Calculus Satellite

A Lambda Calculus Satellite

A Lambda Calculus Satellite
Stock photo: cover may vary

A Lambda Calculus Satellite Hardback -

by Henk Barendregt; Giulio Manzonetto

Add to wish list
  • New
  • Hardback
New

Description

. Hardback. New.
Ask the seller a question Add to wish list
A$118.30
A$5.85 Delivery within USA
Standard delivery: 9 to 14 days
More delivery options
Ships from Cold Books (New York, United States)

Details

  • Title A Lambda Calculus Satellite
  • Author Henk Barendregt; Giulio Manzonetto
  • Binding Hardback
  • Condition New
  • Pages 602
  • Volumes 1
  • Language ENG
  • Publisher College Publications
  • Publication date
  • Bookseller's Inventory # 6396817079
  • ISBN 9781848904248 / 184890424X
  • Weight 3.15 lbs (1.43 kg)
  • Dimensions 10 x 8 x 1.31 in (25.40 x 20.32 x 3.33 cm)
  • Category Mathematics
  • Quantity available 4

About Cold Books New York, United States

Biblio member since 2012

Terms of Sale: 30 day return guarantee, with full refund including shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from Cold Books

Reader reviews for A Lambda Calculus Satellite

From the publisher

In 1936 the notion of intuitive computability was operationalized in two different ways: via Turing machines and via lambda-calculus. The difference consisted in manipulating beads (bits) for the former approach versus manipulating trees (rewriting lambda-terms) for the latter. Both proposals turned out to formalize the same notion of computability, and led to the Church-Turing Thesis, claiming that intuitive computability is captured in the correct way.


This resulted in the foundation of imperative and functional programming. Variants of lambda-calculus are being used in another powerful field of applications, namely proof-checking, the basis for certifying mathematical theorems and thereby high tech industrial products. These two areas of research are still being actively investigated and make lambda-calculus a major tool in the present stages of science and of the industrial revolution.


In this book lambda-calculus is considered from another angle: as a study of these tree-like structures, investigating the relation between their shape and their action. This is like studying numbers qualitatively, rather than for their applications dealing quantitatively with objects and phenomena in the world.


Barendregt's book 'The Lambda Calculus, its Syntax and Semantics' (1981/84), does treat the subject from the same methodological viewpoint, and includes several open conjectures. In the more than four decades that have passed, most - but not all - of these conjectures have been solved, sometimes in ingenious PhD theses. This 'Satellite' to the aforementioned book presents these solutions in a uniform style and adds other topics of interest.

tracking-