Articles liés à Type Theory and Functional Programming
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.
- ÉditeurPearson Education Limited
- Date d'édition1991
- ISBN 10 0201416670
- ISBN 13 9780201416671
- ReliureRelié
- Langueanglais
- Nombre de pages388
Résultats de recherche pour Type Theory and Functional Programming
Image d'archives
Type Theory and Functional Programming (International Computer Science Series)
Edité par
Addison-Wesley (edition ), 1991
ISBN 10 : 0201416670
ISBN 13 : 9780201416671
Ancien ou d'occasion
Couverture rigide
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. N° de réf. du vendeur 0201416670-11-1
Quantité disponible : 1 disponible(s)
Image d'archives
Type Theory and Functional Programming (International Computer Science Series)
Edité par
Addison-Wesley, 1991
ISBN 10 : 0201416670
ISBN 13 : 9780201416671
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_425364968
Quantité disponible : 1 disponible(s)
Image d'archives
Constructive Type Theory and Functional Programming
Edité par
Addison Wesley, 1991
ISBN 10 : 0201416670
ISBN 13 : 9780201416671
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : 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. N° de réf. du vendeur G-122-190
Quantité disponible : 1 disponible(s)
Image d'archives
Type Theory and Functional Programming (International Computer Science Series)
Edité par
Addison-Wesley, 1991
ISBN 10 : 0201416670
ISBN 13 : 9780201416671
Ancien ou d'occasion
Couverture rigide
Vendeur : dsmbooks, Liverpool, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
hardcover. Etat : Very Good. Very Good. book. N° de réf. du vendeur D8S0-3-M-0201416670-2
Quantité disponible : 1 disponible(s)