Bruno Xavier

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 5

Top Topics

Logical Framework

Proof Theoretic

Top Venues

Math. Struct. Comput. Sci.

Publications

Bruno Xavier, Carlos Olarte, Elaine Pimentel
A linear logic framework for multimodal logics. Math. Struct. Comput. Sci. 32 (9) (2022)
Amy P. Felty, Carlos Olarte, Bruno Xavier
A focused linear logical framework and its application to metatheory of object logics. Math. Struct. Comput. Sci. 31 (3) (2021)
Carlos Olarte, Elaine Pimentel, Bruno Xavier
A Fresh View of Linear Logic as a Logical Framework. LSFA (2020)
Bruno Xavier, Carlos Olarte, Giselle Reis, Vivek Nigam
Mechanizing Focused Linear Logic in Coq. LSFA (2017)
Bruno Xavier, Tiago Ferreto, Luis Carlos Jersak
Time Provisioning Evaluation of KVM, Docker and Unikernels in a Cloud Platform. CCGrid (2016)