Classical logic: continuation semantics and abstract machines (1998)

by T Streicher, B Reus
Venue:Journal of functional programming