Sinon, je ne "découvre" pas ce domaine, et j'ai déjà pas mal sué sur la théorie des types, mais je souhaiterais trouver un ensemble plus détaillé et plus cohérant sur tout ce que j'ai lu. Faudrait juste que je me mette plus profondément dans le lambda calcul, car même si je connais son fonctionnement "de base", j'ai toujours du mal à suivre les preuves de 3 pages qui utilisent les différentes transformations...
[^] # Re: Conseils sur un bouquin plus théorique
Posté par benoar . En réponse au journal Vos livres d'informatique préférés.... Évalué à 2.
Sinon, je ne "découvre" pas ce domaine, et j'ai déjà pas mal sué sur la théorie des types, mais je souhaiterais trouver un ensemble plus détaillé et plus cohérant sur tout ce que j'ai lu. Faudrait juste que je me mette plus profondément dans le lambda calcul, car même si je connais son fonctionnement "de base", j'ai toujours du mal à suivre les preuves de 3 pages qui utilisent les différentes transformations...