The Duality of Lambda-Abstraction

Continuations are a well-understood topic in computer science from the point of view of control operators and classical logic. In this talk, based on some recent work, I will present a different perspective on continuations and control effects, from the point of view of cartesian closed categories and cocartesian coclosed categories, and their computational interpretation.