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

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

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

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques