GRUDZINSKA, Justyna; ZAWADOWSKI, Marek. Inverse Linking: Taking Scope with Dependent Types. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 285–294, 2025. Disponível em: https://testplatform.openjournals.nl/PAC/article/view/22155. Acesso em: 11 apr. 2026.