Quelles sont les ressources pour l'apprentissage Lambda Calcul? [fermé]

Question

l'entrée de Wikipedia sur Lambda Calcul était intéressant, mais je l'ai mis fin. Je veux plonger un peu plus et obtenir une meilleure compréhension de Lambda calcul.

Quelqu'un peut-il recommander ce qu'ils considèrent comme le meilleur livre ou amorce Lambda calcul?

Answer 1

Si vous avez terminé avec l'entrée de Wikipedia, suivez le lien vers la page Structure et interprétation des programmes informatiques , faire les devoirs, ou lire livre.

Answer 2

Eh bien, il y a toujours introduction à Lambda Calcul . J'ai essayé de le lire plusieurs fois, mais toujours me suis coincé. J'ai le sentiment lancinant que je connais déjà la plupart de ce genre de choses et probablement plus de facilité à comprendre si elle a été présenté en termes de Lisp / Scheme plutôt que les mathématiques. Vous pourriez avoir plus de chance, cependant:)

Answer 3

J'ai trouvé " Une introduction à Lambda Calculi pour les informaticiens " par Chris Hankin être assez bon, mais je ne vraiment utilisé pour une classe - pas utilisé dans le monde réel:)

Answer 4

Essayez d'écrire un interpetter de calcul lambda, idéalement dans un langage fonctionnel en utilisant la construction dans la syntaxe de la langue plutôt que par l'intermédiaire d'un analyseur. Ceci est étonnamment facile et une bonne façon d'améliorer votre sensation pour elle.

Answer 5

J'ai récemment acheté un livre intitulé d'Amazon comme "Introduction à la programmation fonctionnelle par calcul Lambda « par Greg Michaelson. Il est plus d'une introduction à la programmation fonctionnelle et introduit également le calcul lambda. La première impression est assez bonne. Un autonome et facile à lire le livre. , vous pouvez télécharger la version gratuite sans index PostScript.

Answer 6

Le livre qui m'a vraiment fait de commencer à utiliser et à comprendre le calcul lambda était « Représentation et Inference pour la langue naturelle » par Blackburn et Bos. Ceci est un livre sur le traitement du langage naturel en utilisant Prolog. Un autre livre que vous pourriez envisager est « la compréhension du langage naturel » par Allen. Enfin, si vous aimez le calcul lambda, vous aurez probablement aussi profiter de la logique combinatoire, comme les combinateurs peuvent être définis comme des expressions lambda. Pour cela, je recommande vivement le livre de Smullyan de puzzles, « Pour se moquer d'un oiseau moqueur. » Vers la fin, il utilise les combinateurs pour construire un langage de programmation rudimentaire.

Answer 7

Je pense que le livre de la référence sur le sujet du lambda-calcul lui-même est encore Barendregt .

Au-delà, il assez dépend beaucoup de ce que « partie » du lambda-calcul qui vous intéresse: taper? théorie de la preuve? la réécriture? programmation fonctionnelle?

Chacun d'eux est un domaine en soi, et je ne sais pas d'un livre qui couvre tout.

Answer 8

Voici une bonne explication (en utilisant le schéma): http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf

Et voici un peu astucieux (de mon blog), ce qui réduit factoriel récursive à lambdas pur: http://blogs.msdn.com /b/ashleyf/archive/2008/12/03/the-lambda-calculus.aspx

Amusez-vous bien!