Início
Explorar
nav.journalClub
Tendências
Mais
Synapse
⌘+K
Synapse
Idioma
Português
Português
Konstantinos Mamouras | Synapse
KM
Konstantinos Mamouras
Logic, programming, and type systems
Rice University
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
67 pubs · 582 cites · h-index 14
Affiliations
Rice University
University of Pennsylvania
California University of Pennsylvania
See all
Publications