1. A focused linear logical framework and its application to metatheory of object logics. (15th March 2021) Authors: Felty, Amy; Olarte, Carlos; Xavier, Bruno Journal: Mathematical structures in computer science Issue: Volume 31:Number 3(2021) Page Start: 312 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗