X Leroy

Biographic Data

ID1742358
NAMEX Leroy
GIVEN NAMESX
FAMILY NAMELeroy
SIGNATURELEROY X
AFFILIATIONSCollège de France
ORCID0000-0002-8971-9171
VERIFIEDYes
TOTAL WORKS5
TOTAL CITATIONS0
AUTHOR COUNT5
EDITOR COUNT0
FIRST PUBLICATION YEAR1984
LATEST PUBLICATION YEAR2026
H-INDEX0

  • Sciences du logiciel

    Open AccessX LeroyARTICLEL’annuaire du Collège de France2026

    International audience

  • Sciences du logiciel

    X LeroyARTICLEL’annuaire du Collège de France2023

    Cours – Sémantiques mécanisées : quand la machine raisonne sur ses langages « Que fait ce programme, au juste ? » Pour répondre à cette question avec la précision des mathématiques, il nous faut une sémantique formelle du langage dans lequel ce programme est écrit. Plusieurs approches de la sémantique formelle sont bien maîtrisées aujourd’hui : sémantiques dénotationnelles, qui interprètent le programme comme un élément d’une structure mathématiq…

  • Sciences du logiciel

    Open AccessX LeroyARTICLEL’annuaire du Collège de France2022

    enseignement leon inAugurAle -le logiciel, entre l'esPrit et lA mAtire La leon inaugurale a rappel quel point l'informatique trouve ses racines dans la logique mathmatique. Comme Leibniz avec son calculus ratiocinator, de nombreux logiciens ont cherch dans le calcul une source de vrits absolues. C'est en travaillant sur le programme de hilbert, une tentative ambitieuse de refondation des mathmatiques, que Church en 1936 et Turing en 1937 ont cr l…

  • The diffusion of a vanguard technique: The case of nuclear medicine in Belgium

    Open AccessA Bouckaert, X LeroyARTICLESocial Science & Medicine1985

  • Home care as an alternative to hospitalization: A case study in Belgium

    Open AccessL Gunning-Schepers, L J Gunning-Schepers et al.ARTICLESocial Science & Medicine1984