Alun perin 1920-luvulla kehitetyt kombinatorinen logiikka ja lambda-laskenta ovat sittemmin kehittyneet kielellisiksi työkaluiksi, jotka ovat erityisen hyödyllisiä ohjelmointikielissä. Kirjoittajien edellinen kirja toimi lambda-laskennan johdantokurssien pääviitteenä yli 20 vuoden ajan: tämä versio on perusteellisesti tarkistettu ja tarjoaa selvityksen aiheesta samalla arvovaltaisella esityksellä. Sekä kombinatorisen logiikan että lambda-laskennan kielioppia ja perusominaisuuksia käsitellään ja sen jälkeen johdetaan tyyppiteoriaan. Järjestelmien kirjoitetut ja kirjoittamattomat versiot ja niiden erot katetaan. Lambda-laskentamallit, jotka ovat suuren osan ohjelmointikielten semantiikan takana, selitetään myös perusteellisesti. Käsittely on mahdollisimman epätekninen, ja pääajatuksia korostetaan ja havainnollistetaan esimerkein. Monet harjoitukset sisältyvät rutiinista edistyneeseen, ja useimmat ratkaisut ovat kirjan lopussa. Kieli: englanti