Type Theory and Functional Programming (International Computer Science Series)

Thompson, Simon

ISBN 10: 0201416670 ISBN 13: 9780201416671

Edit� par Addison-Wesley, 1991

Ancien(s) ou d'occasion hardcover

Vendeur HPB-Red, Dallas, TX, Etats-Unis �valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 11 mars 2019

Cet article sp�cifique n'est plus disponible.

Afficher tous les articles du vendeur Cr�er une demande de livres portant sur des articles similaires

Afficher tous les exemplaires de ce livre

A propos de cet article

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

Signaler cet article

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.

D�tails bibliographiques

Titre : Type Theory and Functional Programming (...
�diteur : Addison-Wesley
Date d'�dition : 1991
Reliure : hardcover
Etat : Good

Meilleurs r�sultats de recherche sur AbeBooks

Image d'archives

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

Thompson

Edit� par Addison-Wesley, 1991

ISBN 10 : 0201416670 ISBN 13 : 9780201416671

Ancien ou d'occasion Couverture rigide

Vendeur : WorldofBooks, Goring-By-Sea, WS, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Hardback. Etat : Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration. N� de r�f. du vendeur GOR014608439

Contacter le vendeur

Acheter D'occasion

EUR 120,32

EUR 6,38 shipping
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives