Seldin, J. P. Introduction to Combinators and (lambda) Calculus (London Mathematical Society Student Texts, Series Number 1)

'Introduction to Combinators and Lambda Calculus' von J. P. Seldin ist ein umfassendes Lehrbuch, das sich mit den Grundlagen und Anwendungen der Kombinatorik und des Lambda-Kalküls beschäftigt. Das Buch gehört zur London Mathematical Society Student Texts Serie und bietet eine detaillierte Einführung in diese mathematischen Konzepte, die für die theoretische Informatik von großer Bedeutung sind. Der Inhalt umfasst eine systematische Darstellung der Kombinatoren, die als Abstraktion von Funktionen dienen, sowie des Lambda-Kalküls, einer formalen Sprache zur Untersuchung von Funktionen und deren Anwendung. Das Buch behandelt grundlegende Prinzipien wie Reduktion, Normalformen und Konfluenz im Kontext des Lambda-Kalküls. Darüber hinaus werden auch fortgeschrittene Themen wie Typentheorie und deren Rolle in der logischen Fundierung der Mathematik behandelt. Seldins Werk richtet sich an Studenten der Mathematik und Informatik, die ein tieferes Verständnis dieser abstrakten Konzepte erlangen möchten. Es kombiniert theoretische Erklärungen mit praktischen Beispielen und Übungen, um das Lernen zu unterstützen und den Lesern zu helfen, die Verbindung zwischen Theorie und Anwendung zu verstehen.