Basic Simple Type Theory Hardback: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42) - Tapa dura

Libro 22 de 40: Cambridge Tracts in Theoretical Computer Science

Hindley

 
9780521465182: Basic Simple Type Theory Hardback: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Tapa dura
ISBN 10: 0521465184 ISBN 13: 9780521465182
Editorial: Cambridge University Press, 1997

Sinopsis

This book introduces and teaches the techniques of type theory by focusing on one particularly neat system and studying it in detail. In this way, all the key ideas are covered without getting involved in the complications of more advanced systems, but concentrating rather on the principles that make the theory work in practice.

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

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

De la contraportada

Type theory is one of the most important tools in the design of higher-level programming languages, such as ML. This book introduces and teaches its techniques by focusing on one particularly neat system and studying it in detail.The author covers all the basic ideas, including the system's relation to propositional logic, and gives a careful treatment of the type-checking algorithm which lies at the heart of every such system.The mathematical presentation is rigorous but clear, making it the first book at this level which can be used as an introduction to type theory for computer scientists.

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

Editorial
Cambridge University Press
Año de publicación
1997
Idioma
Inglés
ISBN 10 
0521465184
ISBN 13 
9780521465182
Encuadernación
Tapa dura
Número de páginas
200
Contacto del fabricante
no disponible
Persona responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia

Otras ediciones populares con el mismo título

9780521054225: Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Edición Destacada

ISBN 10:  0521054222 ISBN 13:  9780521054225
Editorial: Cambridge University Press, 2008
Tapa blanda