Refocusing in reduction semantics

Olivier Danvy, Nielsen, Lasse R. Refocusing in reduction semantics. 2004.

Abstract

Abstract is missing.