Modern Perspectives in Type-Theoretical Semantics - Chatzikyriakidis, Stergios. (Springer International Publishing : Imprint: Springer, 2017)