Syntax and Semantics for Operations with Scopes.

Maciej Pirg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff

Browse the full LICS paper archive.