Início
Explorar
nav.journalClub
Tendências
Mais
Synapse
⌘+K
Synapse
Idioma
Português
Português
Jónathan Heras | Synapse
JH
Jónathan Heras
Logic, programming, and type systems
Universidad de La Rioja
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
167 pubs · 2,086 cites · h-index 20
Affiliations
Universidad de La Rioja
Florida International University
University of the Basque Country
See all
Publications