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 (850 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

GET EBOOK

Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially useful in programming languages.
Foundations of Mathematical Logic
Language: en
Pages:
Authors: Haskell B. Curry
Categories:
Type: BOOK - Published: 1983-07 - Publisher:

GET EBOOK

Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Ma
Conceptions of Set and the Foundations of Mathematics
Language: en
Pages: 255
Authors: Luca Incurvati
Categories: History
Type: BOOK - Published: 2020-01-23 - Publisher: Cambridge University Press

GET EBOOK

Presents a detailed and critical examination of the available conceptions of set and proposes a novel version.
Combinatory Logic
Language: en
Pages: 359
Authors: Katalin Bimbó
Categories: Computers
Type: BOOK - Published: 2011-07-27 - Publisher: CRC Press

GET 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
Harvey Friedman's Research on the Foundations of Mathematics
Language: en
Pages: 407
Authors: L.A. Harrington
Categories: Mathematics
Type: BOOK - Published: 1985-11-01 - Publisher: Elsevier

GET EBOOK

This volume discusses various aspects of Harvey Friedman's research in the foundations of mathematics over the past fifteen years. It should appeal to a wide au