Artículos relacionados a Constructive Type Theory and Functional Programming...
Constructive Type Theory and Functional Programming (International Computer Science Series) - Tapa dura
Sinopsis
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.
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.
EUR 91,43
EUR 10,29 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Constructive Type Theory and Functional Programming...
Imagen de archivo
Type Theory and Functional Programming (International Computer Science Series)
Publicado por
Addison-Wesley, 1991
ISBN 10: 0201416670
ISBN 13: 9780201416671
Antiguo o usado
Tapa dura
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 1.6. Nº de ref. del artículo: G0201416670I2N00
Cantidad disponible: 1 disponibles
Imagen de archivo
Constructive Type Theory and Functional Programming
Publicado por
Addison Wesley, 1991
ISBN 10: 0201416670
ISBN 13: 9780201416671
Antiguo o usado
Tapa dura
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Bon. Ancien livre de bibliothèque avec équipements. Couverture différente. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Nº de ref. del artículo: G-122-190
Cantidad disponible: 1 disponibles