Simply Typed Lambda-Calculus with a Typed-Prompt Delimited Control is not Strongly Normalizing (2006)

by O Kiselyov