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://platform.openjournals.nl/PAC/article/view/22155.. Acesso em: 5 dec. 2025.