Concepedia
Statistics
Publications
20
Citations
559
H-Index
14
Active since
1991
Affiliations
Royal Holloway University of London(Current)
Durham University
University of Edinburgh
Open University of Cyprus
Université Toulouse III - Paul Sabatier
Zhaohui Luo is an author at Royal Holloway University of London specializing in type systems, computer science, and type theory.
Publications per year
1991–2022
Formal semantics in modern type theories with coercive subtyping
Zhaohui Luo · Linguistics and Philosophy · 2012 · 96 citations
Computing, Computer Science, Formal Methods +15
Type-theoretical semantics with coercive subtyping
Zhaohui Luo · Proceedings from Semantics and Linguistic Theory · 2010 · 75 citations · Full text
Language Studies, Computer Science, Linguistics +11
An Implementation of LF with Coercive Subtyping & Universes
Paul D. Callaghan, Zhaohui Luo · Journal of Automated Reasoning · 2001 · 41 citations
Computing, Computer Science, Formal Methods +1
Natural Language Inference in Coq
Stergios Chatzikyriakidis, Zhaohui Luo · Journal of Logic Language and Information · 2014 · 41 citations
Computing, Computer Science, Linguistics +10
Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories
Stergios Chatzikyriakidis, Zhaohui Luo · 2015 · 36 citations · Full text
Computing, Computer Science, Formal Methods +12
1–5 of 20