@inproceedings{5cc284a83b134acab091a58e79ea8801,
title = "On subexponentials, synthetic connectives, and Multi-level delimited control",
abstract = "We construct a partially-ordered hierarchy of delimited control operators similar to those of the CPS hierarchy of Danvy and Filinski [5]. However, instead of relying on nested CPS translations, these operators are directly interpreted in linear logic extended with sub exponentials (i.e., multiple pairs of ! and ?). We construct an independent proof theory for a fragment of this logic based on the principle of focusing. It is then shown that the new constraints placed on the permutation of cuts correspond to multiple levels of delimited control.",
author = "Chuck Liang and Dale Miller",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2015.; 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2015 ; Conference date: 24-11-2015 Through 28-11-2015",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-662-48899-7\_21",
language = "English",
isbn = "9783662488980",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "297--312",
editor = "Andrei Voronkov and Ansgar Fehnker and Martin Davis and Annabelle McIver",
booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Proceedings",
}