GRUDZINSKA, Justyna; ZAWADOWSKI, Marek. Inverse Linking: Taking Scope with Dependent Types. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 285–294, 2025. DOI: 10.53437/7avaxm58. Disponível em: https://platform.openjournals.nl/PAC/article/view/22155. Acesso em: 27 aug. 2026.