Kombinatorische Logik und Lambda-Kalkül, die ursprünglich in den 1920er Jahren entwickelt wurden, haben sich seitdem zu linguistischen Werkzeugen entwickelt, die besonders in Programmiersprachen nützlich sind. Das vorherige Buch der Autoren diente über 20 Jahre lang als Hauptreferenz für Einführungskurse in die Lambda-Rechnung: Diese Version wurde gründlich überarbeitet und bietet eine Darstellung des Themas mit der gleichen maßgeblichen Darstellung. Die Grammatik und die grundlegenden Eigenschaften sowohl der kombinatorischen Logik als auch des Lambda-Kalküls werden diskutiert, gefolgt von einer Einführung in die Typentheorie. Typisierte und nicht typisierte Versionen der Systeme und ihre Unterschiede werden behandelt. Lambda-Kalkülmodelle, die hinter einem Großteil der Semantik von Programmiersprachen stehen, werden ebenfalls ausführlich erläutert. Die Behandlung ist so untechnisch wie möglich, wobei die Hauptgedanken hervorgehoben und durch Beispiele veranschaulicht werden. Viele Übungen sind von Routine bis Fortgeschritten enthalten, mit Lösungen zu den meisten am Ende des Buches. Sprache: Englisch