Grudzinska, Justyna, and Marek Zawadowski. 2025. “Inverse Linking: Taking Scope With Dependent Types”. Proceedings of the Amsterdam Colloquium, February, 285-94. https://platform.openjournals.nl/PAC/article/view/22155.