Oprindeligt udgivet i 1988 præsenterer denne bog en introduktion til lambda-calculus og kombinatorer uden at gå tabt i detaljerne i matematiske aspekter af deres teori. Lambda-calculus behandles her som et funktionelt sprog, og dets relevans for datalogi er tydeligt demonstreret. Hovedformålet med bogen er at give datalogistuderende og forskere en solid baggrund i lambda-calculus og kombinatorer og vise anvendeligheden af disse teorier til funktionel programmering. Præsentationen af materialet er selvstændig. Det kan bruges som primærtekst til et kursus om funktionel programmering. Det kan også bruges som en supplerende tekst til kurser om struktur og implementering af programmeringssprog, teori om computing eller semantik af programmeringssprog. Sprog: Engelsk