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)
Reseña del editor:

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

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 713,95
Convertir moneda

Añadir al carrito

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

2.

Thompson, Simon
Editorial: Addison-Wesley
ISBN 10: 0201416670 ISBN 13: 9780201416671
Nuevos Tapa dura Cantidad: 1
Librería
Cloud 9 Books
(West Palm Beach, 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 838,61
Convertir moneda

Añadir al carrito

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