Semantics of name and value passing, in:Proc (0)

by M P Fiore, D Turi
Venue:LICS’01, IEEE Computer Society Press