Zhaohui Luo
2021
Donkey Anaphora: Type-Theoretic Semantics with Both Strong and Weak Sums
Zhaohui Luo
Proceedings of the ESSLLI 2021 Workshop on Computing Semantics with Types, Frames and Related Structures
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)
Search