Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes.

Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan

Browse the full CSL paper archive.