Telecharger Cours

Lambda-calcul et langages fonctionnels

Le Lambda-calcul est une théorie de la fonctionnalité, introduite `a la fin des années 30 par le logicien Alonzo Church, qui proc`ede d'un point de vue ...



Download