Continuations semantics or expressing implication by negation (1993)

by Y Lafont, B Reus, T Streicher