Delimited control operators prove double-negation shift

From MaRDI portal
Publication:450950

DOI10.1016/j.apal.2011.12.008zbMath1251.03033arXiv1012.0929OpenAlexW1491272572MaRDI QIDQ450950

Danko Ilik

Publication date: 26 September 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1012.0929




Related Items (6)



Cites Work


This page was built for publication: Delimited control operators prove double-negation shift