Lambda-Kalkül mit Typen

Bewertung:   (5,0 von 5)

Lambda-Kalkül mit Typen (Henk Barendregt)

Leserbewertungen

Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 3 Stimmen.

Originaltitel:

Lambda Calculus with Types

Inhalt des Buches:

Dieses Handbuch mit Übungen offenbart in Formalismen, die bisher hauptsächlich für den Entwurf und die Verifikation von Hard- und Software verwendet wurden, unerwartete mathematische Schönheit. Der Lambda-Kalkül bildet den Prototyp einer universellen Programmiersprache, die in ihrer untypisierten Version mit Lisp verwandt ist und in dem Klassiker The Lambda Calculus (1984) des ersten Autors behandelt wurde.

Der Formalismus wurde seither um Typen erweitert und in der funktionalen Programmierung (Haskell, Clean) und in Beweisassistenten (Coq, Isabelle, HOL) verwendet, die beim Entwurf und der Überprüfung von IT-Produkten und mathematischen Beweisen zum Einsatz kommen. In diesem Buch konzentrieren sich die Autoren auf drei Klassen von Typisierungen für Lambda-Terme: einfache Typen, rekursive Typen und Schnittpunkttypen.

Es sind diese drei Formalismen für Terme und Typen, die die unerwartete mathematische Schönheit offenbaren. Es handelt sich um eine maßgebliche und umfassende Abhandlung, die durch eine ausführliche Bibliographie ergänzt wird, und es werden zahlreiche Übungen angeboten, um das Verständnis der Leser zu vertiefen und ihre Sicherheit im Umgang mit Typen zu erhöhen.

Weitere Daten des Buches:

ISBN:9780521766142
Autor:
Verlag:
Einband:Hardcover
Erscheinungsjahr:2013
Seitenzahl:856

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Lambda-Kalkül mit Typen - Lambda Calculus with Types
Dieses Handbuch mit Übungen offenbart in Formalismen, die bisher hauptsächlich für den Entwurf und die Verifikation...
Lambda-Kalkül mit Typen - Lambda Calculus with Types
Der Lambda-Kalkül. Seine Syntax und Semantik - The Lambda Calculus. Its Syntax and...
Der Lambda-Kalkül, der in diesem Buch hauptsächlich in...
Der Lambda-Kalkül. Seine Syntax und Semantik - The Lambda Calculus. Its Syntax and Semantics
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
1936 wurde der Begriff der intuitiven Berechenbarkeit auf zwei verschiedene Arten operationalisiert:...
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite
1936 wurde der Begriff der intuitiven Berechenbarkeit auf zwei verschiedene Arten operationalisiert:...
Ein Lambda-Kalkül-Satellit - A Lambda Calculus Satellite

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)