An Introduction to Functional Programming Through Lambda Calculus

Functionalprogrammingisrootedinlambdacalculus,whichconstitutestheworld'ssmallestprogramminglanguage.Thiswell-respectedtextoffersanaccessibleintroductiontofunctionalprogrammingconceptsandtechniquesforstudentsofmathematicsandcomputerscience.Thetreatmentisasnontechnicalaspossible,anditassumesnopriorknowledgeofmathematicsorfunctionalprogramming.Cogentexamplesilluminatethecentralideas,andnumerousexercisesappearthroughoutthetext,offeringreinforcementofkeyconcepts.Allproblemsfeaturecompletesolutions.