होम
एक्सप्लोर
nav.journalClub
ट्रेंडिंग
और
Synapse
⌘+K
Synapse
भाषा
हिन्दी
हिन्दी
Vincent Rahli | Synapse
VR
Vincent Rahli
Logic, programming, and type systems
Delft University of Technology
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
63 pubs · 538 cites · h-index 14
Affiliations
Delft University of Technology
University of Luxembourg
University of Birmingham
See all
Publications