Zhaohui Luo
2015
Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories
Stergios Chatzikyriakidis
|
Zhaohui Luo
Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015)
2014
Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond
Stergios Chatzikyriakidis
|
Zhaohui Luo
Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)