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

by C-H Luke Ong, Charles A Stewart
Venue:In Proc. 24th Symp. on Principles of Programming Languages