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