Searching for authors named "Zhaohui Luo" – sorted by Relevance.
26 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
