Simply Typed Lambda Calculus, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Simply Typed Lambda Calculus" bietet eine umfassende Einführung in den einfach typisierten Lambda-Kalkül, ein funda... Mehr erfahren
Produktvarianten
Simply Typed Lambda Calculus, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Finde die besten Angebote
Bester Preis19 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing