Telecharger Cours

Cours de lambda calcul et programmation fonctionnelle

Cette définition vague recouvre les lan- gages fonctionnels dits purs, dans lesquels tout calcul est effectué au moyen d'appels de fonctions (Miranda, Haskell, ...



Download