The Parametric Lambda Calculus, Fachbücher von Simona Ronchi Della Rocca, Luca Paolini

"The Parametric Lambda Calculus" ist ein Fachbuch, das sich mit den Grundlagen und der Entwicklung des A-Kalküls beschäftigt, das in den 1930er Jahren von Alonzo Church eingeführt wurde. Dieses Buch bietet eine umfassende Analyse der logischen und mathematischen Grundlagen, die durch das A-Kalkül bereitgestellt werden. Es beleuchtet die Rolle des A-Kalküls als erste abstrakte Programmiersprache und seine Verbindung zu modernen Programmiersprachen, insbesondere LISP, das von John McCarthy in den späten 1950er Jahren entwickelt wurde. Die Autoren, Simona Ronchi Della Rocca und Luca Paolini, untersuchen die einfache Syntax und die operationale Semantik des A-Kalküls, die es zu einem grundlegenden Werkzeug für das Studium von Berechnungseigenschaften machen. Das Buch richtet sich an Leser, die ein tieferes Verständnis für die theoretischen Grundlagen der Informatik und der Programmierung erlangen möchten.