Érudition historique et philologique de l’âge classique aux Lumières

Annales de démographie historique 1973. Enfant et sociétés

excellent account of the general scene at Glasgow and Edinburgh, against which the pioneering work of Cullen, whose chemical doctrines are considered in Part One, and of Black, took place. This was part of a remarkable phase of Scottish culture when the advancement of science was of both philosophical and practical concern. Thus science, economics and technology found common ground in philosoph...

Noyau de Treelets appliqué aux graphes étiquetés et aux graphes de cycles

Informatique et linguistique: Introduction, historique

Purification et concentrations des plasmas antitoxiques. 1 - Historique, techniques industrielles et choix de la méthode adoptee en Iran

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...