Accueil
Explorer
nav.journalClub
Tendances
Plus
Synapse
⌘+K
Synapse
Langue
Français
Français
Roberto Bruni | Synapse
RB
Roberto Bruni
Logic, programming, and type systems
University of Pisa
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
239 pubs · 2,948 cites · h-index 29
Affiliations
University of Pisa
Istituto Nazionale di Fisica Nucleare, Sezione di Pisa
Università degli studi di Cassino e del Lazio Meridionale
See all
Publications