Semantics of name and value passing (2001)

by M P Fiore, D Turi
Venue:In LICS