Grudzinska J, Zawadowski M. Inverse Linking: Taking Scope with Dependent Types. Proceedings of the AC. Published online December 1, 2017:285-294. doi:10.53437/7avaxm58