1. Curien, P.-L., Herbelin, H.: The Duality of Computation. In: Proceedings of the International Conference on Functional Programming (2000)
2. Dougherty, D.J., Ghilezan, S., Lescanne, P.: Characterizing strong normalization in a language with control operators. In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pp. 155–166 (2004)
3. Gentzen, G.: Investigations into Logical Deduction. In: Szabo, M. (ed.) Collected Papers of Gerhard Gentzen, North-Holland, Amsterdam (1934)
4. Griffin, T.G.: The Formulae-as-Types Notion of Control. In: Proceedings of the 17th ACM Symposium on Principles of Programming Languages, pp. 47–57. ACM Press, New York (1990)
5. Ong, L., Stewart, C.: A Curry-Howard foundation for functional computation with control. In: Proceedings of the 24th Annual ACM Symposium on Principles of Programming Languages, pp. 215–227. ACM Press, New York (1997)