The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Zhaohui Luo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Zhaohui Luo
    Coercive Subtyping in Type Theory. [Citation Graph (0, 0)][DBLP]
    CSL, 1996, pp:276-296 [Conf]
  2. Simon Shiu, Zhaohui Luo, Roberto Garigliano
    Type Theoretic Semantics for SemNet. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:582-595 [Conf]
  3. Shenwei Yu, Zhaohui Luo
    Implementing a Model Checker for LEGO. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:442-458 [Conf]
  4. Zhaohui Luo, Paul Callaghan
    Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. [Citation Graph (0, 0)][DBLP]
    LACL, 1997, pp:231-250 [Conf]
  5. Zhaohui Luo
    A Unifying Theory of Dependent Types: The Schematic Approach. [Citation Graph (0, 0)][DBLP]
    LFCS, 1992, pp:293-304 [Conf]
  6. Zhaohui Luo
    ECC, an Extended Calculus of Constructions [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:386-395 [Conf]
  7. Yong Luo, Zhaohui Luo
    Coherence and Transitivity in Coercive Subtyping. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:249-265 [Conf]
  8. Zhaohui Luo
    Program Specification and Data Refinement in Type Theory. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:143-168 [Conf]
  9. Alex P. Jones, Zhaohui Luo, Sergei Soloviev
    Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:173-195 [Conf]
  10. Robert Kießling, Zhaohui Luo
    Coercions in Hindley-Milner Systems. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:259-275 [Conf]
  11. Paul Callaghan, Zhaohui Luo
    Implementation Techniques for Inductive Types in Plastic. [Citation Graph (0, 0)][DBLP]
    TYPES, 1999, pp:94-113 [Conf]
  12. Yong Luo, Zhaohui Luo
    Combining Incoherent Coercions for Sigma-Types. [Citation Graph (0, 0)][DBLP]
    TYPES, 2003, pp:276-292 [Conf]
  13. Yong Luo, Zhaohui Luo, Sergei Soloviev
    Weak Transitivity in Coercive Subtyping. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:220-239 [Conf]
  14. Zhaohui Luo
    Coercion completion and conservativity in coercive subtyping. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:113, n:1-3, pp:297-322 [Journal]
  15. Zhaohui Luo
    A Higher-Order Calculus and Theory Abstraction [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1991, v:90, n:1, pp:107-137 [Journal]
  16. Zhaohui Luo, Yong Luo
    Transitivity in coercive subtyping. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:197, n:1-2, pp:122-144 [Journal]
  17. Paul Callaghan, Zhaohui Luo
    An Implementation of LF with Coercive Subtyping & Universes. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2001, v:27, n:1, pp:3-27 [Journal]
  18. Jian-Min Pang, Paul Callaghan, Zhaohui Luo
    LFTOP: An LF-Based Approach to Domain-Specific Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2005, v:20, n:4, pp:526-535 [Journal]
  19. Zhaohui Luo
    PAL+: a lambda-free logical framework. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:2, pp:317-338 [Journal]
  20. Zhaohui Luo
    Coercive Subtyping. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:1, pp:105-130 [Journal]
  21. Zhaohui Luo
    Program Specification and Data Refinement in Type Theory. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1993, v:3, n:3, pp:333-363 [Journal]
  22. Zhaohui Luo, Sergei Soloviev
    Dependent Coercions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  23. Zeng Bin, Luo Zhaohui, Wei Jun
    Grid Scheduling Optimization Under Conditions of Uncertainty. [Citation Graph (0, 0)][DBLP]
    NPC, 2007, pp:51-60 [Conf]
  24. Robin Adams, Zhaohui Luo
    Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. [Citation Graph (0, 0)][DBLP]
    TYPES, 2006, pp:1-17 [Conf]

  25. A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations. [Citation Graph (, )][DBLP]


  26. Manifest Fields and Module Mechanisms in Intensional Type Theory. [Citation Graph (, )][DBLP]


  27. Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory [Citation Graph (, )][DBLP]


  28. Classical Predicative Logic-Enriched Type Theories [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002