Grudzinska, J.; Zawadowski, M. Inverse Linking: Taking Scope With Dependent Types. Proceedings of the AC 2025, 285-294.