Gérard Huet – La théorie de la fonctionnalité à la croisée des chemins entre Informatique, Logique et Linguistique
5 février 2004 La notation mathématique a peu évolué depuis le début du 20ème siècle, et le paradigme dominant de la théorie des ensembles classique a occulté la notion traditionnelle de fonction comme procédé de calcul au profit de relations fonctionnelles réduites à un graphe extensionnel. L’invention du lambda-calcul par…