Kombinatorisk logik og lambda-beregning, der oprindeligt blev udtænkt i 1920'erne, har siden udviklet sig til sproglige værktøjer, der er særligt nyttige i programmeringssprog. Forfatternes tidligere bog tjente som hovedreference for introduktionskurser om lambda-calculus i over 20 år: denne version er grundigt revideret og giver en redegørelse for emnet med samme autoritative redegørelse. Grammatikken og de grundlæggende egenskaber ved både kombinatorisk logik og lambda-beregning diskuteres efterfulgt af en introduktion til typeteori. Typede og ikke-maskinskrevne versioner af systemerne og deres forskelle er dækket. Lambda-calculus-modeller, der ligger bag meget af programmeringssprogets semantik, forklares også dybtgående. Behandlingen er så ikke-teknisk som muligt med hovedideerne fremhævet og illustreret med eksempler. Mange øvelser er inkluderet fra rutine til avanceret med løsninger til de fleste i slutningen af bogen. Sprog: Engelsk