On subexponentials, focusing and modalities in concurrent systems

Theor. Comput. Sci., Volume 693, 2017, Pages 35-58.

Cited by: 3|Bibtex|Views1|Links
EI

Abstract:

Abstract In this work we present the focused proof system SELLF ⋒ , which extends intuitionistic linear logic with subexponentials with the ability of quantifying over them, hence allowing for the use of an arbitrary number of modalities. We show that the view of subexponentials as specific modalities is general enough to gi...More

Code:

Data:

Your rating :
0

 

Tags
Comments