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