[1]
E. Poole, “Constraining (shifting) types at the interface”, SuB, vol. 22, no. 2, pp. 217–234, May 2019.