Type Theory and Functional Programming

Valutazione media 4
( su 8 valutazioni fornite da GoodReads )
 
9780201416671: Type Theory and Functional Programming

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Simon Thompson
Editore: Addison-Wesley (1991)
ISBN 10: 0201416670 ISBN 13: 9780201416671
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Addison-Wesley, 1991. Hardcover. Condizione libro: New. Codice libro della libreria DADAX0201416670

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 711,55
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,66
In U.S.A.
Destinazione, tempi e costi