(1)
Liefke, K. A Single-Type Semantics for the PTQ-Fragment. SuB 2019, 18, 253-270.