book

Modern Perspectives in Type-Theoretical Semantics

Stergios Chatzikyriakidis, Zhaohui Luo Published in 2017

Reference details