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

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

This is a set of lecture notes that developed out of courses on the lambda calculus that the author taught at the University of Ottawa in 2001 and at Dalhousie

Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.

This introduction to lambda-calculus looks at aspects of the theory: combinatory logic, models, and type streams, showing how they interlink and underpin comput