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