intro to functional programming through lambda calculus (1989) by greg michaelson

Functional programming originates from lambda calculus, recognized as the smallest programming language globally. This esteemed textbook provides an approachable initiation to the concepts and techniques of functional programming, designed for students studying mathematics and computer science. [Read More]