On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control

Chuck Liang 1 Dale Miller 2
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : We construct a partially-ordered hierarchy of delimited control operators similar to those of the CPS hierarchy of Danvy and Filinski. However, instead of relying on nested CPS translations, these operators are directly interpreted in linear logic extended with subexponentials (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.
Type de document :
Communication dans un congrès
Martin Davis; Ansgar Fehnker; Annabelle McIver; Andrei Voronkov. LPAR 20 - International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji. Springer, 9450, pp.297-312, 2015, LNCS - Lecture Notes in Computer Science. 〈10.1007/978-3-662-48899-7_21〉
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01239753
Contributeur : Dale Miller <>
Soumis le : mardi 8 décembre 2015 - 11:00:34
Dernière modification le : jeudi 10 mai 2018 - 02:06:58
Document(s) archivé(s) le : samedi 29 avril 2017 - 10:10:52

Fichier

subdelimlncs.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Chuck Liang, Dale Miller. On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control. Martin Davis; Ansgar Fehnker; Annabelle McIver; Andrei Voronkov. LPAR 20 - International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji. Springer, 9450, pp.297-312, 2015, LNCS - Lecture Notes in Computer Science. 〈10.1007/978-3-662-48899-7_21〉. 〈hal-01239753〉

Partager

Métriques

Consultations de la notice

344

Téléchargements de fichiers

74