Ihren Artikel jetzt
eintauschen und
EUR 2,00 Gutschein erhalten.
Möchten Sie verkaufen?
Zur Rückseite klappen Zur Vorderseite klappen
Anhören Wird wiedergegeben... Angehalten   Sie hören eine Probe der Audible-Audioausgabe.
Weitere Informationen
Dieses Bild anzeigen

Type Theory and Functional Programming (International Computer Science Series) (Englisch) Gebundene Ausgabe – August 1991


Alle 2 Formate und Ausgaben anzeigen Andere Formate und Ausgaben ausblenden
Amazon-Preis Neu ab Gebraucht ab
Gebundene Ausgabe
"Bitte wiederholen"
EUR 195,41 EUR 169,90
Taschenbuch
"Bitte wiederholen"
EUR 84,16
5 neu ab EUR 195,41 5 gebraucht ab EUR 169,90
Jeder kann Kindle Bücher lesen — selbst ohne ein Kindle-Gerät — mit der KOSTENFREIEN Kindle App für Smartphones, Tablets und Computer.


Produktinformation


Mehr über den Autor

Entdecken Sie Bücher, lesen Sie über Autoren und mehr

Produktbeschreibungen

Synopsis

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.

Kundenrezensionen

Es gibt noch keine Kundenrezensionen auf Amazon.de
5 Sterne
4 Sterne
3 Sterne
2 Sterne
1 Sterne

Die hilfreichsten Kundenrezensionen auf Amazon.com (beta)

Amazon.com: 1 Rezension
1 von 1 Kunden fanden die folgende Rezension hilfreich
The best available book on dependent types 8. März 2014
Von Konstantin Solomatov - Veröffentlicht auf Amazon.com
Format: Gebundene Ausgabe Verifizierter Kauf
Despite its old age, this is the best available book on dependent types. It has its drawbacks, there are a lot of areas which aren't covered well. However, it's way better than any tutorials on dependent types you can find on internet.

If you want to really understand how systems like Coq and Agda work, you have to read this book.
Ist diese Rezension hilfreich? Wir wollen von Ihnen hören.