Grudzinska, J. and Zawadowski, M. (2025) “Inverse Linking: Taking Scope with Dependent Types”, Proceedings of the Amsterdam Colloquium, pp. 285–294. Available at: https://platform.openjournals.nl/PAC/article/view/22155 (Accessed: 5 December 2025).