@inproceedings{zeilberger-2010-polarity, title={Polarity and the Logic of Delimited Continuations}, url={http://dx.doi.org/10.1109/lics.2010.23}, DOI={10.1109/lics.2010.23}, booktitle={2010 25th Annual IEEE Symposium on Logic in Computer Science}, publisher={IEEE}, author={Zeilberger, Noam}, year={2010}, month=July, pages={219–227} }