An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)

An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)

Greg Michaelson


useful programming is rooted in lambda calculus, which constitutes the world's smallest programming language. This well-respected textual content bargains an available creation to sensible programming suggestions and methods for college students of arithmetic and computing device technological know-how. The therapy is as nontechnical as attainable, and it assumes no earlier wisdom of arithmetic or useful programming. Cogent examples remove darkness from the primary principles, and various workouts look through the textual content, providing reinforcement of key ideas. All difficulties characteristic entire recommendations.

Show sample text content

Download sample