Refocusing in reduction semantics (2004)

by Olivier Danvy, Lasse R Nielsen