Amy P. Felty, Carlos Olarte, Bruno Xavier. A focused linear logical framework and its application to metatheory of object logics. Mathematical Structures in Computer Science, 31(3):312-340, 2021. [doi]
@article{FeltyOX21, title = {A focused linear logical framework and its application to metatheory of object logics}, author = {Amy P. Felty and Carlos Olarte and Bruno Xavier}, year = {2021}, doi = {10.1017/S0960129521000323}, url = {https://doi.org/10.1017/S0960129521000323}, researchr = {https://researchr.org/publication/FeltyOX21}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {31}, number = {3}, pages = {312-340}, }