Faithin Omaha eBook Collection

Provides computer science students and researchers with a firm background in lambda-calculus and combinators.

Combinatory logic and lambda-calculus, originally devised in the 1920's, have since developed into linguistic tools, especially useful in programming languages.

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operat

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, a

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects