Oorspronkelijk gepubliceerd in 1988, presenteert dit boek een inleiding tot lambda-calculus en combinators zonder te verdwalen in de details van wiskundige aspecten van hun theorie. Lambda-calculus wordt hier behandeld als een functionele taal en de relevantie ervan voor de informatica wordt duidelijk aangetoond. Het belangrijkste doel van het boek is om informaticastudenten en onderzoekers een stevige achtergrond te bieden in lambda-calculus en combinators en de toepassing van deze theorieën op functioneel programmeren te laten zien. De presentatie van het materiaal is op zichzelf staand. Het kan worden gebruikt als primaire tekst voor een cursus over functioneel programmeren. Het kan ook worden gebruikt als een aanvullende tekst voor cursussen over de structuur en implementatie van programmeertalen, theorie van computing of semantiek van programmeertalen. Taal: Engels