Verwandte Artikel zu Constructive Type Theory and Functional Programming...
Constructive Type Theory and Functional Programming (International Computer Science Series) - Hardcover
Inhaltsangabe
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to reinforce understanding.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gebraucht kaufen
Zustand: Gut bis sehr gutAncien livre de bibliothèque avec...
Diesen Artikel anzeigen
EUR 89,91
EUR 3,99 für den Versand von Frankreich nach Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Constructive Type Theory and Functional Programming...
Beispielbild für diese ISBN
Constructive Type Theory and Functional Programming
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Bestandsnummer des Verkäufers G-122-190
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Type Theory and Functional Programming (International Computer Science Series)
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 1.6. Bestandsnummer des Verkäufers G0201416670I2N00
Anzahl: 1 verfügbar