Tao Xue

3 Judgemental Interpretations : a Problem with Negative Sentences and Conditionals

S. Chatzikyriakidis, Zhaohui Luo, Tao Xue, 2018 .

EasyChair Preprint No 221 Propositional Forms of Judgemental Interpretations

S. Chatzikyriakidis, Zhaohui Luo, Tao Xue, 2022 .

Theory and implementation of coercive subtyping

Tao Xue, Tao Xue, 2013 .

Dot-types and Their Implementation

Zhaohui Luo, Tao Xue, Zhaohui Luo, 2012, LACL.

Coercive subtyping: Theory and implementation

Zhaohui Luo, Tao Xue, Sergei Soloviev, 2013, Inf. Comput..