On subexponentials, focusing and modalities in concurrent systems

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 gener...

Full description

Bibliographic Details

Published in:	Theoretical computer science Vol. 693; pp. 35 - 58
Main Authors:	Nigam, Vivek, Olarte, Carlos, Pimentel, Elaine
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 12.09.2017
Subjects:	Concurrent constraint programming Linear logic Proof systems Concurrent constraint programming Linear logic Proof systems
ISSN:	0304-3975, 1879-2294
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!