Login / Signup
Bruno C. d. S. Oliveira
ORCID
Publication Activity (10 Years)
Years Active: 2005-2024
Publications (10 Years): 66
Top Topics
Data Sharing
Operational Semantics
Modus Ponens
Programming Language
Top Venues
ECOOP
Proc. ACM Program. Lang.
Dagstuhl Artifacts Ser.
CoRR
</>
Publications
</>