Grudzinska, J., & Zawadowski, M. (2025). Inverse Linking: Taking Scope with Dependent Types. Proceedings of the Amsterdam Colloquium, 285-294. https://platform.openjournals.nl/PAC/article/view/22155