From lambda to pi; or, Rediscovering continuations

@article{Sangiorgi1999FromLT,
  title={From lambda to pi; or, Rediscovering continuations},
  author={Davide Sangiorgi},
  journal={Mathematical Structures in Computer Science},
  year={1999},
  volume={9},
  pages={367-401}
}