A continuation-passing evaluation semantics for classical proofsecommons.cornell.edu2 pointsfanf2a year ago