Classical logic, continuation semantics and abstract machines (1998)

by T Streicher, B Reus
Venue:J. Funct. Programming