K. Liefke, “A Single-Type Semantics for the PTQ-Fragment”, SuB, vol. 18, pp. 253–270, May 2019.