1. Hybrid linear logic, revisited. (22nd April 2019) Authors: CHAUDHURI, KAUSTUV; DESPEYROUX, JOËLLE; OLARTE, CARLOS; PIMENTEL, ELAINE Journal: Mathematical structures in computer science Issue: Volume 29:Number 8(2019) Page Start: 1151 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗