Type Theory and Functional Programming - Couverture rigide

Thompson

 
9780201416671: Type Theory and Functional Programming
Couverture rigide
ISBN 10 : 0201416670 ISBN 13 : 9780201416671
Editeur : Pearson Education Limited, 1991

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Pearson Education Limited
Date d'édition
1991
Langue
anglais
ISBN 10 
0201416670
ISBN 13 
9780201416671
Reliure
Relié
Nombre de pages
388
Coordonnées du fabricant
non disponible
Personne responsable
GS1 Slovakia
https://www.gs1sk.org

Nantersk� 23
Žilina
010 08
Slovaquie