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

DOI10.1007/978-3-662-48899-7_21zbMATH Open1472.68038OpenAlexW2293210202MaRDI QIDQ3460062

Chuck Liang, Dale A. Miller

Publication date: 12 January 2016

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.2415

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control