Curry-Howard applies to classical systems too (e.g., call/cc in typed languages), mapping to control...
This proposition has not been edited since the history system was added.