ホーム
探索
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