Type Theory and Functional Programming (International Computer Science Series)

Valutazione media 4
( su 8 valutazioni fornite da Goodreads )
 
9780201416671: Type Theory and Functional Programming (International Computer Science Series)

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.

Thompson, Simon
Editore: Addison-Wesley (1991)
ISBN 10: 0201416670 ISBN 13: 9780201416671
Nuovi Rilegato Quantità: 2
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Addison-Wesley, 1991. Hardcover. Condizione libro: New. Never used!. Codice libro della libreria P110201416670

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 117,16
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 1,67
In U.S.A.
Destinazione, tempi e costi

2.

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

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

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 630,35
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi