Formal semantics in modern type theories. (2018) - Chatzikyriakidis, Stergios; Luo, Zhaohui
No abstract available