Zhaohui Luo

If you made any changes in Pure these will be visible here soon.

Modern Type Theories: Their Development and Applications
Luo, Z., 2022, (Accepted/In press) Tsinghua University Press.
Research output: Book/Report › Book
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
On Subtyping in Type Theories with Canonical Objects
Lungu, G. & Luo, Z., Nov 2018, Types for Proofs and Programs: Post-proceedings of the 22nd Int. Conf. on Types for Proofs and Programs (TYPES 2016). Leibniz International Proceedings in Informatics, Vol. 97. p. 13:1-13:31 31 p. 13
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
Adjectival and Adverbial Modification: The View from Modern Type Theories
Chatzikyriakidis, S. & Luo, Z., Mar 2017, In: Journal of Logic, Language and Information. 26, 1, p. 45–88 44 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File

42 Downloads (Pure)

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

Network