Stefanie Schachtl
-
From λ to π; or, Rediscovering continuations
Mathematical Structures in Computer Science