Início
Explorar
nav.journalClub
Tendências
Mais
Synapse
⌘+K
Synapse
Idioma
Português
Português
Shriram Krishnamurthi | Synapse
SK
Shriram Krishnamurthi
Logic, programming, and type systems
John Brown University
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
345 pubs · 8,329 cites · h-index 51
Affiliations
John Brown University
Brown University
University of Kent
See all
Publications