Hybrid and Subexponential Linear Logics Technical Report

arXiv: Logic in Computer Science, Volume abs/1608.08779, 2016.

Cited by: 1|Bibtex|Views5|Links
EI

Abstract:

HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temporal or spatial ones. Both frameworks have linear logic (LL) as a common ground and they admit (cut-free) complete focused proof systems. The difference between...More

Code:

Data:

Your rating :
0

 

Tags
Comments