Revesz, G. E. Lambda-calculus, Combinators and Functional Programming (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

Das Buch 'Lambda-calculus, Combinators and Functional Programming' von G. E. Revesz bietet eine umfassende Einführung in den Lambda-Kalkül, Kombinatoren und deren Anwendung in der funktionalen Programmierung. Es gehört zur Reihe der Cambridge Tracts in Theoretical Computer Science und ist als Band Nummer 4 veröffentlicht worden. Der Autor erklärt die Grundlagen des Lambda-Kalküls, einer formalen mathematischen Theorie zur Untersuchung von Funktionen und deren Anwendungen. Zudem behandelt das Buch die Theorie der Kombinatoren, die als Grundlage für die Entwicklung von Programmiersprachen dient, insbesondere im Bereich der funktionalen Programmierung. Durch theoretische Erklärungen und praktische Beispiele wird dem Leser ein tiefes Verständnis dieser Konzepte vermittelt, was sowohl für Studierende als auch für Forschende im Bereich der theoretischen Informatik von Interesse ist.