Quais são alguns recursos para aprender Lambda Calculus? [fechadas]

Question

Assim, a entrada da Wikipedia sobre Lambda Calculus foi interessante, mas eu terminei ele. Quero mergulhar um pouco mais e obter uma melhor compreensão do Lambda Calculus.

Alguém pode recomendar o que eles consideram ser o melhor livro ou primer para Lambda Calculus?

Answer 1

Se você é feito com a entrada da Wikipedia, siga sua ligação com o Estrutura e Interpretação de Programas de Computador on-line , faça as atribuições, ou ler o livro .

Answer 2

Bem, há sempre An Introduction to Lambda Calculus . Eu tentei lê-lo algumas vezes, mas sempre ficou preso. Eu tenho um sentimento persistente de que eu já sei a maioria deste material e provavelmente teria um tempo mais fácil entendê-lo se ele foi apresentado em termos de Lisp / Scheme, em vez de matemática. Você pode ter melhor sorte, embora:)

Answer 3

Eu encontrei " An introduction to Lambda Cálculos de computador cientistas " por Chris Hankin para ser muito bom, mas eu realmente só usei por uma classe - e não o usou no mundo real:)

Answer 4

Tente escrever um interpetter lambda calculus, de preferência em uma linguagem funcional usando a configuração na sintaxe da linguagem, em vez de através de um analisador. Este é surpreendentemente fácil e uma boa maneira de melhorar sua sensação para ela.

Answer 5

Eu comprei recentemente um livro da Amazon intitulado como "Uma Introdução à Programação Funcional Através Lambda Calculus " por Greg Michaelson. É mais de uma introdução à programação funcional e também introduz cálculo lambda. A primeira impressão é muito boa. A auto-contido e fácil de ler o livro. Aqui , você pode baixar a versão gratuita, sem índice em PostScript.

Answer 6

O livro que realmente me fez começar a usar e entender cálculo lambda foi "Representação e Inferência de Linguagem Natural" por Blackburn e Bos. Este é um livro sobre processamento de linguagem natural usando Prolog. Outro livro que você pode considerar é "Linguagem Natural Entender", de Allen. Finalmente, se você gosta de cálculo lambda, você provavelmente também desfrutar de lógica combinatória, como os combinadores pode ser definida como expressões lambda. Para isso, eu recomendo fortemente o livro de Smullyan de quebra-cabeças, "Para Mock A Mockingbird". Perto do fim, ele usa os combinadores para construir uma linguagem de programação rudimentar.

Answer 7

Eu acho que a referência sobre o tema da lambda-cálculo em si ainda é o livro de Barendregt .

Além de que praticamente depende do que "parte" de lambda-calculus você está interessado em: digitação? teoria da prova? prazo reescrever? programação funcional?

Cada um deles é um campo em si mesmo, e eu não sei de qualquer livro que abrange tudo.

Answer 8

Aqui está uma explicação agradável (usando Scheme): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf

E aqui está um pouco bacana (do meu blog), reduzindo factorial recursiva para lambdas puros: http://blogs.msdn.com /b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx

Divirta-se!