Inicio
Explorar
nav.journalClub
Tendencias
Más
Synapse
⌘+K
Synapse
Idioma
Español
Español
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