Una introducción a los cálculos lambda para informáticos

El cálculo lambda se encuentra en los cimientos mismos de la informática. Además de su papel histórico en la teoría de la computabilidad, ha tenido una influencia significativa en el diseño e implementación de lenguajes de programación, la semántica denotacional y la teoría de dominios. El libro enfatiza la teoría de la demostración para el cálculo lambda sin tipos. Los primeros seis capítulos tratan sobre este cálculo y cubren la teoría básica, la reducción, los modelos, la computabilidad y la relación entre el cálculo lambda y la lógica combinatoria. El Capítulo 7 presenta una variedad de cálculos tipados; primero el cálculo lambda simplemente tipado, luego el polimorfismo al estilo Milner y, finalmente, el cálculo lambda polimórfico. El Capítulo 8 trata dos variantes del cálculo lambda sin tipos que han aparecido en la literatura de investigación: el cálculo lambda perezoso y el cálculo lambda sigma. El capítulo final contiene referencias y una guía para lecturas adicionales. Hay ejercicios a lo largo de todo el libro. A diferencia de libros anteriores sobre estos temas, que fueron escritos por lógicos, este libro está escrito desde una perspectiva de la informática y enfatiza la relevancia práctica de muchas de las ideas teóricas clave. El libro está diseñado como texto de curso para estudiantes universitarios de último año o estudiantes de posgrado de primer año en informática. Los estudiantes de investigación deberían encontrarlo una introducción útil a la literatura más especializada.

Autor: C. Hankin
Editorial: College Publications
Publicado: 02/02/2004
Páginas: 180
Tipo de encuadernación: Tapa blanda
Peso: 0.60 libras
Tamaño: 9.00 alto x 6.00 ancho x 0.41 profundidad
ISBN13: 9780954300654
ISBN10: 0954300653
Categorías BISAC:
- Informática | Informática

Este título no es retornable