Liefke K. A Single-Type Semantics for the PTQ-Fragment. SuB [Internet]. 2019 May 10 [cited 2024 Apr. 19];18:253-70. Available from: https://ojs.ub.uni-konstanz.de/sub/index.php/sub/article/view/316