Grudzinska, Justyna, and Marek Zawadowski. 2017. “Inverse Linking: Taking Scope With Dependent Types”. Proceedings of the Amsterdam Colloquium, December, 285-94. https://doi.org/10.53437/7avaxm58.