Related Books

Lambda-calculus, Combinators and Functional Programming
Language: en
Pages: 0
Authors: G. E. Revesz
Categories: Computers
Type: BOOK - Published: 2009-06-25 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects
Lambda-Calculus and Combinators
Language: en
Pages: 359
Authors: J. Roger Hindley
Categories: Combinatory logic
Type: BOOK - Published: 2008 - Publisher:

DOWNLOAD EBOOK

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages.
An Introduction to Functional Programming Through Lambda Calculus
Language: en
Pages: 336
Authors: Greg Michaelson
Categories: Mathematics
Type: BOOK - Published: 2013-04-10 - Publisher: Courier Corporation

DOWNLOAD EBOOK

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, a
Introduction to Combinators and (lambda) Calculus
Language: en
Pages: 376
Authors: J. R. Hindley
Categories: Mathematics
Type: BOOK - Published: 1986-05-29 - Publisher: CUP Archive

DOWNLOAD EBOOK

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operat
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.