Type Theory and Functional Programming (International Computer Science Series)

4 valoración promedio
( 8 valoraciones por 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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Thompson, Simon
Editorial: Addison-Wesley (1991)
ISBN 10: 0201416670 ISBN 13: 9780201416671
Nuevos Tapa dura Cantidad: 2
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Addison-Wesley, 1991. Hardcover. Estado de conservación: New. Nº de ref. de la librería P110201416670

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 160,43
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,56
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Simon Thompson
Editorial: Addison-Wesley (1991)
ISBN 10: 0201416670 ISBN 13: 9780201416671
Nuevos Tapa dura Cantidad: 1
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Addison-Wesley, 1991. Hardcover. Estado de conservación: New. Nº de ref. de la librería DADAX0201416670

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 591,30
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,42
A Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Thompson, Simon
Editorial: Addison-Wesley
ISBN 10: 0201416670 ISBN 13: 9780201416671
Nuevos Tapa dura Cantidad: 1
Librería
Cloud 9 Books
(Wellington, FL, Estados Unidos de America)
Valoración
[?]

Descripción Addison-Wesley. Hardcover. Estado de conservación: New. 0201416670 New Condition. Nº de ref. de la librería NEW6.0088706

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 779,67
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,27
A Estados Unidos de America
Destinos, gastos y plazos de envío