Telecharger Cours

?-calcul et typage Qu'est-ce qu'une fonction ?

Pour l'informaticien, l'étude du ?-calcul (prononcer lambda-calcul) permet de comprendre sur un langage minimal des concepts théoriques qui pourront.



Download