Semantics of name and value passing (2001)

by M Fiore, D Turi
Venue:In Proc. 16th Annual Symposium on Logic in Computer Science (LICS’01). IEEE Computer Society