Modern perspectives in type-theoretical semantics - Chatzikyriakidis, Stergios.; Luo, Zhaohui. (Springer, 2017)