Constructive Type Theory and Functional Programming (International Computer Science Series) - Hardcover

Thompson

 
9780201416671: Constructive Type Theory and Functional Programming (International Computer Science Series)
Hardcover
ISBN 10: 0201416670 ISBN 13: 9780201416671
Verlag: Pearson Education Limited, 1991

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.

Verlag
Pearson Education Limited
Erscheinungsdatum
1991
Sprache
Englisch
ISBN 10 
0201416670
ISBN 13 
9780201416671
Einband
Tapa dura
Anzahl der Seiten
388
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
GS1 Slovakia
https://www.gs1sk.org

Nantersk� 23
Žilina
010 08
Slowakei