Grudzinska J, Zawadowski M. Inverse Linking: Taking Scope with Dependent Types. Proceedings of the AC [Internet]. 2025 Feb. 5 [cited 2025 Dec. 5];:285-94. Available from: https://platform.openjournals.nl/PAC/article/view/22155