Hybrid linear logic, revisited

Mathematical Structures in Computer Science, pp. 1-26, 2019.

Cited by: 3|Bibtex|Views3|
Other Links: academic.microsoft.com

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments