Lambda-Calculus and Combinators

Lambda-Calculus and Combinators
Author :
Publisher : Cambridge University Press
Total Pages : 358
Release :
ISBN-10 : 0521898854
ISBN-13 : 9780521898850
Rating : 4/5 (54 Downloads)

Book Synopsis Lambda-Calculus and Combinators by : J. Roger Hindley

Download or read book Lambda-Calculus and Combinators written by J. Roger Hindley and published by Cambridge University Press. This book was released on 2008-07-24 with total page 358 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Lambda-Calculus and Combinators Related Books

Lambda-Calculus and Combinators
Language: en
Pages: 358
Authors: J. Roger Hindley
Categories: Computers
Type: BOOK - Published: 2008-07-24 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially useful in programming languages.
Combinatory Logic
Language: en
Pages: 357
Authors: Katalin Bimbo
Categories: Computers
Type: BOOK - Published: 2011-07-27 - Publisher: CRC Press

DOWNLOAD EBOOK

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as
Introduction to Combinatory Logic
Language: en
Pages: 182
Authors: J. Roger Hindley
Categories: Mathematics
Type: BOOK - Published: 1972-06 - Publisher: CUP Archive

DOWNLOAD EBOOK

These notes present some of the basic techniques and results in the subject of combinatory logic. This subject will first be treated with an introduction via la
Combinatory Logic
Language: en
Pages: 359
Authors: Katalin Bimbó
Categories: Computers
Type: BOOK - Published: 2011-07-27 - Publisher: CRC Press

DOWNLOAD EBOOK

Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as
Combinatory Logic
Language: en
Pages: 535
Authors: Lev D. Beklemishev
Categories: Mathematics
Type: BOOK - Published: 2009-06-17 - Publisher: Elsevier

DOWNLOAD EBOOK

Combinatory Logic