Continuation Semantics or Expressing Implication by Negation, Technical Report, available from http://iml.univ-mrs.fr/ ˜ lafont (1993)

by Y Lafont, B Reus, T Streicher