Semantics of Name and Value Passing.

Marcelo P. Fiore, Daniele Turi

Browse the full LICS paper archive.