Grudzinska, J., & Zawadowski, M. (2025). Inverse Linking: Taking Scope with Dependent Types. Proceedings of the Amsterdam Colloquium, 285-294. https://doi.org/10.53437/7avaxm58