الرئيسية
استكشاف
nav.journalClub
الرائج
المزيد
Synapse
⌘+K
Synapse
اللغة
العربية
العربية
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