Poole, Ethan. “Constraining (shifting) Types at the Interface”. Proceedings of Sinn Und Bedeutung, vol. 22, no. 2, May 2019, pp. 217-34, https://ojs.ub.uni-konstanz.de/sub/index.php/sub/article/view/79.