Accueil
Explorer
nav.journalClub
Tendances
Plus
Synapse
⌘+K
Synapse
Langue
Français
Français
Romain Péchoux | Synapse
RP
Romain Péchoux
Logic, programming, and type systems
Centre National de la Recherche Scientifique
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
77 pubs · 223 cites · h-index 8
Affiliations
Centre National de la Recherche Scientifique
Laboratoire Lorrain de Recherche en Informatique et ses Applications
Université de Lorraine
See all
Publications