Grudzinska, Justyna, and Marek Zawadowski. “Inverse Linking: Taking Scope With Dependent Types”. Proceedings of the Amsterdam Colloquium (December 1, 2017): 285–294. Accessed October 28, 2026. https://platform.openjournals.nl/PAC/article/view/22155.