Skip to content

Lambda-Calculus and Combinators: An Introduction

Lambda-Calculus and Combinators: An Introduction Hardback - 2008 - 2nd Edition

by J. Roger Hindley

  • New
  • Hardcover

Description

Hardback. New. This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.
New
NZ$157.63
NZ$20.92 Shipping to USA
Standard delivery: 14 to 21 days
More Shipping Options
Ships from The Saint Bookstore (Merseyside, United Kingdom)

About The Saint Bookstore Merseyside, United Kingdom

Biblio member since 2018
Seller rating: This seller has earned a 5 of 5 Stars rating from Biblio customers.

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Terms of Sale: Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

Browse books from The Saint Bookstore

Details

  • Title Lambda-Calculus and Combinators: An Introduction
  • Author J. Roger Hindley
  • Binding Hardback
  • Edition number 2nd
  • Edition 2
  • Condition New
  • Pages 358
  • Volumes 1
  • Language ENG
  • Publisher Cambridge University Press
  • Date 2008-08-11
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index, Table of Contents
  • Bookseller's Inventory # B9780521898850
  • ISBN 9780521898850 / 0521898854
  • Weight 1.4 lbs (0.64 kg)
  • Dimensions 9 x 5.9 x 0.9 in (22.86 x 14.99 x 2.29 cm)
  • Library of Congress subjects Lambda calculus, Combinatory logic
  • Library of Congress Catalog Number 2008006276
  • Dewey Decimal Code 511.35

From the publisher

Includes bibliographical references and index.