Semantics of name and value passing (2001)

by Marcelo P Fiore, Daniel Turi
Venue:In LICS