Statistics
Publications
1
Citations
16
H-Index
1
Active since
2018
Affiliations
Carnegie Mellon University Qatar(Current)
Bruno Xavier is an author at Carnegie Mellon University Qatar.
Publications per year
2018–2018
1
1
Mechanizing Focused Linear Logic in Coq
Bruno Xavier, Carlos Olarte, Giselle Reis et al. · Electronic Notes in Theoretical Computer Science · 2018 · 16 citations · Full text
1–1 of 1