Grudzinska J, Zawadowski M. Inverse Linking: Taking Scope with Dependent Types. Proceedings of the AC. Published online February 5, 2025:285-294. Accessed January 31, 2026. https://platform.openjournals.nl/PAC/article/view/22155