Searching for authors named "Zhaohui Luo" – sorted by Relevance.
-
Lego and Related Work
- Lego and related work Zhaohui Luo Department of Computer Science University of Durham August 26
- Add To MetaCart
-
PAL+: A Lambda-Free Logical Framework
- PAL + : a lambda-free logical framework y Zhaohui Luo Department of Computer Science University
- Cited by 4 (1 self) – Add To MetaCart
-
A type-theoretic framework for formal reasoning with different logical foundations
- A type-theoretic framework for formal reasoning with different logical foundations Zhaohui Luo
- Cited by 1 (1 self) – Add To MetaCart
-
Developing Reuse Technology in Proof Engineering
- Developing reuse technology in proof engineering (position paper) Zhaohui Luo Department
- Cited by 4 (2 self) – Add To MetaCart
-
Program Specification and Data Refinement in Type Theory
- Program Specification and Data Refinement in Type Theory Zhaohui Luo Department of Computer Science
- Cited by 25 (8 self) – Add To MetaCart
-
Coercive Subtyping in Type Theory
- Coercive subtyping in type theory Zhaohui Luo y Department of Computer Science, Durham
- Cited by 20 (9 self) – Add To MetaCart
-
Coercive subtyping
- Coercive subtyping \Lambda Zhaohui Luo Department of Computer Science University of Durham
- Cited by 31 (13 self) – Add To MetaCart
-
Coercions in Hindley-Milner Systems
- Coercions in Hindley-Milner Systems ? Robert Kiessling and Zhaohui Luo Department of Computer
- Add To MetaCart
-
Combining Incoherent Coercions for Σ-types
- Combining Incoherent Coercions for -types Yong Luo and Zhaohui Luo Department of Computer Science
- Add To MetaCart
-
Weyl’s predicative classical mathematics as a logicenriched type theory
- Luo Dept of Computer Science, Royal Holloway, Univ of London {robin,zhaohui}@(email omitted); Abstract
- Cited by 1 (1 self) – Add To MetaCart

