Continuation semantics or expressing implication by negation (1993)

by Yves Lafont, Bernhard Reus, Thomas Streicher