Syntax and Semantics for Operations with Scopes

Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff. Syntax and Semantics for Operations with Scopes. In Anuj Dawar, Erich Grädel, editors, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018. pages 809-818, ACM, 2018. [doi]