Zhaohui Luo - ACL Anthology

News(current)
FAQ(current)
Corrections(current)
Submissions(current)
GitHub

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)

Co-authors

Stergios Chatzikyriakidis 2

Venues

CSTFRS1
MoL1
TTNLS1

ACL materials are Copyright © 1963–2026 ACL; other materials are copyrighted by their respective copyright holders. Materials prior to 2016 here are licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 International License. Permission is granted to make copies for the purposes of teaching and research. Materials published in or after 2016 are licensed on a Creative Commons Attribution 4.0 International License.

The ACL Anthology is managed and built by the ACL Anthology team of volunteers.

Site last built on 07 March 2026 at 16:51 UTC with commit 824b2f5.