¿Cuáles son algunos recursos para aprender Lambda Calculus?[cerrado]

Question

Entonces la entrada de Wikipedia sobre Cálculo Lambda Fue interesante pero lo terminé.Deseo profundizar un poco más y comprender mejor el cálculo Lambda.

¿Alguien puede recomendar lo que consideran el mejor libro o manual básico para Lambda Calculus?

Answer 1

Si ha terminado con la entrada de Wikipedia, seguir su vínculo con el e Interpretación de Programas Informáticos , hacer las tareas, o leer el libro .

Answer 2

Bueno, siempre hay Una introducción al cálculo lambda . He tratado de leer un par de veces, pero siempre quedé atrapado. Tengo una sensación de que ya sé la mayoría de estas cosas y probablemente tendría un tiempo más fácil la comprensión de que si se presenta en términos de Lisp / Scheme en lugar de matemáticas. Es posible que tenga mejor suerte, sin embargo:)

Answer 3

Encontré "Una introducción a los cálculos Lambda para informáticos"de Chris Hankin parece bastante bueno, pero en realidad solo lo usé para una clase, no lo usé en el mundo real :)

Answer 4

Trate de escribir un interpetter cálculo lambda, idealmente en un lenguaje funcional utilizando la estructura en la sintaxis de la lengua en lugar de a través de un programa de análisis. Esto es sorprendentemente fácil y una buena manera de mejorar su idea de ella.

Answer 5

Hace poco compré un libro de Amazon título en forma de "Una introducción a la programación funcional A través cálculo lambda " por Greg Michaelson. Es más bien una introducción a la programación funcional y también introduce el cálculo lambda. La primera impresión es bastante buena. Un autónomo y fácil de leer el libro. Aquí , se puede descargar la versión gratuita sin índice en PostScript.

Answer 6

El libro que realmente me hizo comenzar a usar y entender el cálculo lambda era "La representación y la inferencia para Lenguaje Natural" por Blackburn y Bos. Este es un libro sobre el procesamiento del lenguaje natural utilizando Prolog. Otro libro que podría considerar es "comprensión del lenguaje natural" por Allen. Por último, si te gusta el cálculo lambda, es probable que también disfrutar de lógica combinatoria, como los combinadores pueden ser definidas como expresiones lambda. Para ello, os recomiendo el libro de los rompecabezas de Smullyan "para burlarse de un ruiseñor". Hacia el final que utiliza los combinadores para construir un lenguaje de programación rudimentaria.

Answer 7

Creo que la referencia sobre el tema del cálculo lambda en sí todavía es El libro de Barendregt..

Más allá de eso, depende en gran medida de qué "parte" del cálculo lambda le interesa:mecanografía ?teoría de la prueba?término reescritura?programación funcional?

Cada uno de ellos es un campo en sí mismo y no conozco ningún libro que lo cubra todo.

Answer 8

Aquí es una buena explicación (usando Scheme): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf

Y aquí está un poco ingenioso (de mi blog), reduciendo factorial recursiva para lambdas puros: http://blogs.msdn.com /b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx

Diviértete!