Grudzinska, Justyna, and Marek Zawadowski. “Inverse Linking: Taking Scope With Dependent Types”. Proceedings of the Amsterdam Colloquium (February 5, 2025): 285–294. Accessed January 31, 2026. https://platform.openjournals.nl/PAC/article/view/22155.