Start
Entdecken
nav.journalClub
Trends
Mehr
Synapse
⌘+K
Synapse
Sprache
Deutsch
Deutsch
Michaël Rusinowitch | Synapse
MR
Michaël Rusinowitch
Logic, programming, and type systems
Centre Inria de l'Université de Lorraine
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
236 pubs · 3,073 cites · h-index 26
Affiliations
Centre Inria de l'Université de Lorraine
Centre National de la Recherche Scientifique
Laboratoire Lorrain de Recherche en Informatique et ses Applications
See all
Publications