Research output per year
Research output per year
Research output
-
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
Projects
- 12 Finished
-
-
Lexical Semantics in Type Theory with Coercive Subtyping
Luo, Z. (PI)
1/06/11 → 31/05/14
Project: Research
-
-
Epigram II: Innovative programming via inductive families
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/04 → 31/08/05
Project: Research
-
Pythagoras II: Pythagoras II: Machine support for semi-formalised proof oriented mathematics
Luo, Z. (PI)
Eng & Phys Sci Res Council EPSRC
1/10/04 → 31/12/06
Project: Research
Activities
- 1 Membership of research network
-
Member of TYPES steering committee (External organisation)
Luo, Z. (Participant)
25 Apr 2013Activity: Membership › Membership of research network