Zhaohui Luo

Modern Type Theories: Their Development and Applications
Luo, Z., 2024, Tsinghua University Press.
Research output: Book/Report › Book
A Metatheoretic Analysis of Subtype Universes
Bradley, F. & Luo, Z., 28 Jul 2023, (Accepted/In press) 28th International Conference on Types for Proofs and Programs (TYPES 2022): Leibniz International Proceedings in Informatics. Dagstuhl, Germany: Schloss Dagstuhl –Leibniz Center for Informatics, Vol. 269. 21 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Open Access
Propositional Forms of Judgemental Interpretations
Xue, T., Luo, Z. & Chatzikyriakidis, S., Oct 2023, In: Journal of Logic, Language and Information. 32, 4, p. 733-758 26 p.
Research output: Contribution to journal › Article › peer-review
Universes in Type-Theoretical Semantics (paper accompanying an invited talk)
Luo, Z., 15 Jun 2022, (Accepted/In press) LACompLing 2021. (Studies in Computational Intelligence).
Research output: Chapter in Book/Report/Conference proceeding › Chapter

15 Downloads (Pure)
Identity Criteria of Common Nouns and dot-types for Copredication
Chatzikyriakidis, S. & Luo, Z., 2018, In: Oslo Studies in Language. 10, 2, p. 121-141 21 p.
Research output: Contribution to journal › Article › peer-review

Open Access

Member of TYPES steering committee (External organisation)
Zhaohui Luo (Participant)
25 Apr 2013
Activity: Membership › Membership of research network

Research output