0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Lambda-Calculus and Combinators - An Introduction (Hardcover, 2nd Revised edition) Loot Price: R2,083
Discovery Miles 20 830

Lambda-Calculus and Combinators - An Introduction (Hardcover, 2nd Revised edition)

J. Roger Hindley, Jonathan P. Seldin

 (sign in to rate)
Loot Price R2,083 Discovery Miles 20 830 | Repayment Terms: R195 pm x 12*

Bookmark and Share

Expected to ship within 12 - 19 working days

Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subject, with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explained in depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.

General

Imprint: Cambridge UniversityPress
Country of origin: United Kingdom
Release date: July 2008
First published: July 2008
Authors: J. Roger Hindley • Jonathan P. Seldin
Dimensions: 235 x 156 x 23mm (L x W x T)
Format: Hardcover
Pages: 345
Edition: 2nd Revised edition
ISBN-13: 978-0-521-89885-0
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 0-521-89885-4
Barcode: 9780521898850

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Discrete and Combinatorial Mathematics…
Ralph Grimaldi Paperback R2,612 Discovery Miles 26 120
Digital Protection for Power Systems
Salman K. Salman, A.T. Johns Hardcover R3,396 R3,066 Discovery Miles 30 660
Machine Learning with Quantum Computers
Maria Schuld, Francesco Petruccione Hardcover R3,651 Discovery Miles 36 510
Numerical Geometry, Grid Generation and…
Vladimir A. Garanzha, Lennard Kamenski, … Hardcover R6,387 Discovery Miles 63 870
Modeling and Simulating Complex Business…
Zoumpolia Dikopoulou Hardcover R3,608 Discovery Miles 36 080
Techniques for Searching, Parsing, and…
Alberto Pettorossi Hardcover R2,696 Discovery Miles 26 960
Probability in Electrical Engineering…
Jean Walrand Hardcover R1,585 Discovery Miles 15 850
Advanced Topics in Bisimulation and…
Davide Sangiorgi, Jan Rutten Hardcover R3,404 Discovery Miles 34 040
Problem-Solving Processes in Humans and…
Morton Wagman Hardcover R2,775 Discovery Miles 27 750
Hajnal Andreka and Istvan Nemeti on…
Judit Madarasz, Gergely Szekely Hardcover R2,971 Discovery Miles 29 710
Logic and Implication - An Introduction…
Petr Cintula, Carles Noguera Hardcover R3,451 Discovery Miles 34 510
Recent Trends in Mathematical Modeling…
Vinai K. Singh, Yaroslav D. Sergeyev, … Hardcover R6,393 Discovery Miles 63 930

See more

Partners