Grudzinska, J. and Zawadowski, M. 2017. Inverse Linking: Taking Scope with Dependent Types. Proceedings of the Amsterdam Colloquium. (Dec. 2017), 285–294. DOI:https://doi.org/10.53437/7avaxm58.