A Curry-Howard foundation for functional computation with control (1997)

by C. -h. L. Ong, C. A. Stewart
Venue:In Proceedings of ACM SIGPLAN-SIGACT Symposium on Principle of Programming Languages