A Curry-Howard Foundation for Functional Computation with Control (1997)

A Curry-Howard Foundation for Functional Computation with Control (1997)- Article by C.-H. L. Ong and C. A. Stewart which presents a call-by-name variant of Parigot's lambda-mu calculus. The calculus is proposed as a foundation for first-class continuations and statically scoped exceptions in functional programming languages.