Zhaohui Luo - ACL Anthology

About
Using
Contributions
GitHub

Zhaohui Luo

Author directory

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

WS2
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 05 September 2026 at 23:01 UTC with commit cc6f507.