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