Grudzinska, J. and Zawadowski, M. 2025. Inverse Linking: Taking Scope with Dependent Types. Proceedings of the Amsterdam Colloquium. (Feb. 2025), 285–294.