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