Foto 1 di 2
Foto 1 di 2
Type Theory and Functional Programming by Simon Thompson (1991, Hardcover)
World of Books Ltd (10755324)
99% di feedback positivi
Prezzo:
GBP 105,03
CircaEUR 119,50
+ 4,89 di spese di spedizione
Restituzioni:
Condizione:
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.
- Compralo SubitoConstructive Type Theory and Functional Pr..., Thompson
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Informazioni su questo prodotto
Product Identifiers
PublisherAddison-Wesley Longman, Incorporated
ISBN-100201416670
ISBN-139780201416671
eBay Product ID (ePID)88818721
Product Key Features
Number of Pages388 Pages
LanguageEnglish
Publication NameType Theory and Functional Programming
SubjectProgramming / General, Desktop Applications / Design & Graphics
Publication Year1991
TypeTextbook
AuthorSimon Thompson
Subject AreaComputers
FormatHardcover
Dimensions
Item Height1.1 in
Item Weight24.3 oz.
Item Length9.5 in
Item Width6.3 in
Additional Product Features
Edition Number1
Intended AudienceCollege Audience
Tutte le inserzioni per questo prodotto
Scrivi una recensione per primo
