Refocusing in reduction semantics. Research Report BRICS (2004)

by Olivier Danvy, Lasse R Nielsen
Venue:Department of Computer Science, Aarhus University