Faithin Omaha eBook Collection

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

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

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

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The

Finally, you can learn computation theory and programming language design in an engaging, practical way. Understanding Computation explains theoretical computer