Home
Explore
Journal Club
Trending
More
Synapse
⌘+K
Synapse
Language
English
English
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