Full abstraction by translation, in (1996)

by G McCusker
Venue:Advances in Theory and Formal Methods of Computing, IC