Polarity and the logic of delimited continuations. (2010)

by N Zeilberger
Venue:Proceedings of the 25th IEEE Symposium on Logic in Computer Science (LICS 2010),