Donc l'article de Wikipédia sur le Lambda Calcul est intéressante, mais je l'ai fini. Je tiens à plonger un peu plus profondément et d'obtenir une meilleure compréhension de Lambda Calcul.
Peut-on recommander ce qu'ils considèrent être le meilleur livre ou un apprêt à Lambda Calcul?
Si vous avez terminé avec l'entrée de Wikipedia, de suivre son lien à la mise en ligne de la Structure et de l'Interprétation des Programmes d'Ordinateur, faire les devoirs, ou de lire le livre.
Eh bien, il y a toujours Une Introduction au Lambda Calcul. J'ai essayé de le lire à quelques reprises, mais toujours coincé. J'ai un sentiment tenace que je connais déjà la plupart de ce genre de choses et serait probablement avoir un temps plus facile de la comprendre si elle a été présentée en termes de Lisp/Scheme plutôt que de mathématiques. Vous pourriez avoir plus de chance :)
J'ai trouvé "Une introduction au Lambda Calcul pour les Scientifiques de l'Informatique" par Chris Hankin être très bon, mais je n'ai vraiment utilisé pour une classe - non utilisé dans le monde réel :)
Je pense que la référence sur le sujet de la lambda-calcul lui-même est encore Barendregt du livre.
Au-delà de cette jolie beaucoup dépend de ce que "partie" de la lambda-calcul qui vous intéresse : la dactylographie ? la théorie de la preuve ? la réécriture de termes ? la programmation fonctionnelle ?
Chacun de ces est un domaine en soi, et je ne connais pas de livre qui couvre tout.
Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.
