El Aprendizaje De Cálculo Lambda

Question

¿Cuáles son algunas buenas en línea/recursos gratuitos (tutoriales, guías, ejercicios, y similares) para el aprendizaje del Cálculo Lambda?

Específicamente, estoy interesado en las siguientes áreas:

• Sin cálculo lambda
• Simplemente escrita, cálculo lambda
• Otro escrito cálculos lambda
• Iglesia de la Teoría de los Tipos (no estoy seguro de que esto encaja).

(Como yo lo entiendo, este debe proporcionar una base sólida para la comprensión de la teoría tipo.)

Cualquier consejo y sugerencia se agradece.

Answer 1

Los Huevos de lagarto es una manera genial de aprender cálculo lambda.

También el aprendizaje de lenguajes de programación funcional como Esquema, Haskell, etc. se agregará diversión.

Answer 2

Recomendaciones:

1. Barendregt & Barendsen, 1984, Introducción a lambda-cálculo;
2. Girard, Lafont & Taylor, 1987, Pruebas y Tipos;
3. Sørenson & Urzyczyn, 1999, Conferencias sobre el Curry-Howard Isomorfismo.

Todos estos son mencionados en la Utp introducción hilo.

Answer 3

Aquí hay un par de recursos que le ayudará a empezar:

1. El Cálculo Lambda, Su Sintaxis y Semántica - Este es un deber!

2. Notas de la conferencia en el Cálculo Lambda por Pedro Selinger

3. La historia de Cálculos Lambda

4. Impacto de Cálculo Lambda en la Lógica y la Ciencia de la computación

5. Introducción al Cálculo Lambda

6. Lambda Cálculos con los Tipos de

7. Tutorial de Introducción a los Cálculos Lambda

8. Call-by-name, llamada por valor y el Cálculo Lambda

9. El Control de los operadores, la SECD-máquina, y
   el lambda-cálculo. - Con efectos

10. Modificación de la funcionalidad básica en lógica combinatoria - H. B. Curry.

11. El principal tipo de esquema de un objeto en combinatoria de la lógica. - J. Roger Hindley.

Ya que soy licenciado en informática, la mayoría de estos están orientados a los científicos de la computación, en lugar de los lógicos.

Bonus : Hay un nuevo libro que ha salido de la Semántica de la Ingeniería con PLT Redex. Yo no lo he leído pero me han dicho cosas buenas sobre él.

Espero que esto ayude. Por favor, siéntase libre de hacer cualquier pregunta. Gracias.

Answer 4

Me gusta el Tipo de Teoría de la Programación Funcional y por Simon Thompson.

Answer 5

También podría ser bueno para el trabajo a través de la Estructura e Interpretación de los Programas de Ordenador, que está disponible en línea de forma gratuita. Este libro es una introducción a la informática y el lenguaje de programación Scheme, que es un tipo de lenguaje de programación Lisp, que se basa en el cálculo lambda. Aunque no es estrictamente un libro sobre el cálculo lambda, podría ser divertido o útil para ganar algunas manos a la obra y "práctico" de la experiencia con el cálculo lambda mediante la lectura de algunos de este libro y de trabajo a través de algunos de sus ejercicios.