Delimited control operators prove Double-negation Shift-Reference-Cited by-同舟云学术

Delimited control operators prove Double-negation Shift

Published:2012-11 Issue:11 Volume:163 Page:1549-1559
ISSN:0168-0072
Container-title:Annals of Pure and Applied Logic
language:en
Short-container-title:Annals of Pure and Applied Logic

Author:

Ilik Danko

Publisher

Elsevier BV

Subject

Logic

Reference47 articles.

1. A type-theoretic foundation of delimited continuations;Ariola;Higher Order and Symbolic Computation,2009

2. Polymorphic delimited continuations;Asai,2007

3. Kenichi Asai, Yukiyoshi Kameyama, Polymorphic delimited continuations, Technical Report, Graduate school of SIE, University of Tsukuba, Japan, 2007.

4. Jeremy Avigad, A variant of the double-negation translation, Technical Report, Carnegie Mellon University, 2006, Technical Report CMU-PHIL 179.

5. The deduction theorem in a functional calculus of first order based on strict implication;Barcan;The Journal of Symbolic Logic,1946

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An intuitionistic formula hierarchy based on high‐school identities;Mathematical Logic Quarterly;2019-05

2. On the unification of classical, intuitionistic and affine logics;Mathematical Structures in Computer Science;2018-10-12

3. Handling delimited continuations with dependent types;Proceedings of the ACM on Programming Languages;2018-07-30

4. Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics;Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science;2016-07-05

5. On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control;Logic for Programming, Artificial Intelligence, and Reasoning;2015