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.
On Subexponentials, Synthetic Connectives, and Multi-Level Delimited Control [pdf]Paper  doi  bibtex   

Downloads: 0