On subexponentials, focusing and modalities in concurrent systems
Theor. Comput. Sci., Volume 693, 2017, Pages 35-58.
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
Full Text (Upload PDF)
PPT (Upload PPT)