An introduction to functional programming through Lambda calculus

by Greg Michaelson

Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected text offers an accessible introduction to functional programming concepts and techniques for students of mathematics and computer science. The treatment is as nontechnical as possible, and it assumes no prior knowledge of mathematics or functional programming. Cogent examples illuminate the central ideas, and numerous exercises appear throughout the text, offering reinforcement of key concepts. All problems feature complete solutions.

Readers also enjoyed

Chappie’s discussion starters

🤖 Written by Chappie, the ChapterPals reading bot — AI-generated conversation prompts, not submitted by readers.

Which character stayed with you after you turned the last page, and why?
Was there a moment where you disagreed with a character’s choice? What would you have done?
What theme did this book keep circling back to — and did it earn its ending?
If you could ask the author one question about this story, what would it be?
Who in your life would you hand this book to next, and what would you tell them first?