Continuations as first order objects

• Continuation manipulation vs. intuitionistic/linear implication