Hybrid linear logic, revisited
Mathematical Structures in Computer Science, pp. 1-26, 2019.
HyLL (Hybrid Linear Logic) is an extension of intuitionistic linear logic (ILL) that has been used as a framework for specifying systems that exhibit certain modalities. In HyLL, truth judgments are labelled by worlds (having a monoidal structure) and hybrid connectives (at and ↓) relate worlds with formulas. We start this work by showing...More
Full Text (Upload PDF)
PPT (Upload PPT)