On Subexponentials, Synthetic Connectives, and Multi-Level Delimited Control. Liang, C. & Miller, D. In Davis, M., Fehnker, A., McIver, A., & Voronkov, A., editors, Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), of LNCS, November, 2015. Paper doi bibtex @inproceedings{liang15lpar,
author = {Chuck Liang and Dale Miller},
title = {On Subexponentials, Synthetic Connectives, and
Multi-Level Delimited Control},
booktitle = {Logic for Programming, Artificial Intelligence, and
Reasoning (LPAR)},
year = {2015},
editor = {Martin Davis and Ansgar Fehnker and Annabelle McIver
and Andrei Voronkov},
month = nov,
doi = {10.1007/978-3-662-48899-7\_21},
series = lncs,
url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/subdelimlncs.pdf},
number = {9450}
}
Downloads: 0
{"_id":"rhR3MPPWM6vEHS7vi","bibbaseid":"liang-miller-onsubexponentialssyntheticconnectivesandmultileveldelimitedcontrol-2015","author_short":["Liang, C.","Miller, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Chuck"],"propositions":[],"lastnames":["Liang"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"On Subexponentials, Synthetic Connectives, and Multi-Level Delimited Control","booktitle":"Logic for Programming, Artificial Intelligence, and Reasoning (LPAR)","year":"2015","editor":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Davis"],"suffixes":[]},{"firstnames":["Ansgar"],"propositions":[],"lastnames":["Fehnker"],"suffixes":[]},{"firstnames":["Annabelle"],"propositions":[],"lastnames":["McIver"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Voronkov"],"suffixes":[]}],"month":"November","doi":"10.1007/978-3-662-48899-7_21","series":"LNCS","url":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/subdelimlncs.pdf","number":"9450","bibtex":"@inproceedings{liang15lpar,\n author = {Chuck Liang and Dale Miller},\n title = {On Subexponentials, Synthetic Connectives, and\n Multi-Level Delimited Control},\n booktitle = {Logic for Programming, Artificial Intelligence, and\n Reasoning (LPAR)},\n year = {2015},\n editor = {Martin Davis and Ansgar Fehnker and Annabelle McIver\n and Andrei Voronkov},\n month = nov,\n doi = {10.1007/978-3-662-48899-7\\_21},\n series = lncs,\n url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/subdelimlncs.pdf},\n number = {9450}\n}\n\n","author_short":["Liang, C.","Miller, D."],"editor_short":["Davis, M.","Fehnker, A.","McIver, A.","Voronkov, A."],"key":"liang15lpar","id":"liang15lpar","bibbaseid":"liang-miller-onsubexponentialssyntheticconnectivesandmultileveldelimitedcontrol-2015","role":"author","urls":{"Paper":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/subdelimlncs.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["subexponentials","synthetic","connectives","multi","level","delimited","control","liang","miller"],"title":"On Subexponentials, Synthetic Connectives, and Multi-Level Delimited Control","year":2015}