Simply Typed Lambda Calculus, Fachbücher

Das Buch "Simply Typed Lambda Calculus" bietet eine umfassende Einführung in den einfach typisierten Lambda-Kalkül, ein fundamentales Konzept in der theoretischen Informatik und Mathematik. Ursprünglich von Alonzo Church im Jahr 1940 entwickelt, stellt dieser Kalkül eine typisierte Version des klassischen Lambda-Kalküls dar und verwendet einen einzigen Typkonstruktor, um Funktionstypen zu bilden. Das Werk behandelt die Eigenschaften und Anwendungen des einfach typisierten Lambda-Kalküls und beleuchtet seine Rolle bei der Vermeidung paradoxen Verhaltens, das im untypisierten Lambda-Kalkül auftreten kann. Darüber hinaus werden Erweiterungen des einfach typisierten Lambda-Kalküls, wie Produkte und natürliche Zahlen, sowie deren Bedeutung in der Informatik diskutiert. Dieses Fachbuch richtet sich an Studierende und Fachleute, die ein vertieftes Verständnis der Typentheorie und ihrer Anwendungen in der Programmierung und Logik anstreben.