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

Celý popis

Podrobná bibliografia

Vydané v:	Theoretical computer science Ročník 693; s. 35 - 58
Hlavní autori:	Nigam, Vivek, Olarte, Carlos, Pimentel, Elaine
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 12.09.2017
Predmet:	Concurrent constraint programming Linear logic Proof systems Concurrent constraint programming Linear logic Proof systems
ISSN:	0304-3975, 1879-2294
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!