Início
Explorar
nav.journalClub
Tendências
Mais
Synapse
⌘+K
Synapse
Idioma
Português
Português
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