|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 8 keywords
|
|
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Robin Adams, Zhaohui Luo |
A pluralist approach to the formalisation of mathematics.  |
Mathematical Structures in Computer Science  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo |
Contextual Analysis of Word Meanings in Type-Theoretical Semantics. |
LACL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Adams, Zhaohui Luo |
Classical predicative logic-enriched type theories. |
Ann. Pure Appl. Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Adams, Zhaohui Luo |
Weyl's predicative classical mathematics as a logic-enriched type theory. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yangyue Feng, Zhaohui Luo |
Typed Operational Semantics for Dependent Record Types |
TYPES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Adams, Zhaohui Luo |
Classical Predicative Logic-Enriched Type Theories |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Zhaohui Luo |
Coercions in a polymorphic type system. |
Mathematical Structures in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo, Robin Adams |
Structural subtyping for inductive types with functorial equality rules. |
Mathematical Structures in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Adams, Zhaohui Luo |
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Zhaohui Luo |
Manifest Fields and Module Mechanisms in Intensional Type Theory. |
TYPES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Zeng 0002, Zhaohui Luo, Jun Wei 0004 |
Grid Scheduling Optimization Under Conditions of Uncertainty. |
NPC |
2007 |
DBLP DOI BibTeX RDF |
optimal scheduling scheme, genetic algorithm, grid computing, workflow scheduling |
| 1 | Zhaohui Luo |
A Type-Theoretic Framework for Formal Reasoning with Different Logical Foundations. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Adams, Zhaohui Luo |
Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. |
TYPES |
2006 |
DBLP DOI BibTeX RDF |
logic-enriched type theory, predicativism, formalisation |
| 1 | Zhaohui Luo, Yong Luo |
Transitivity in coercive subtyping. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian-Min Pang, Paul Callaghan, Zhaohui Luo |
LFTOP: An LF-Based Approach to Domain-Specific Reasoning. |
J. Comput. Sci. Technol. |
2005 |
DBLP DOI BibTeX RDF |
type theory, logical framework, proof assistant, domain-specific, formal reasoning |
| 1 | Zhaohui Luo |
PAL+: a lambda-free logical framework. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Kießling, Zhaohui Luo |
Coercions in Hindley-Milner Systems. |
TYPES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Luo, Zhaohui Luo |
Combining Incoherent Coercions for Sigma-Types. |
TYPES |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Luo, Zhaohui Luo, Sergei Soloviev |
Weak Transitivity in Coercive Subtyping. |
TYPES |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack (eds.) |
Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers |
TYPES |
2002 |
DBLP BibTeX RDF |
|
| 1 | Zhaohui Luo |
Coercion completion and conservativity in coercive subtyping. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Callaghan, Zhaohui Luo |
An Implementation of LF with Coercive Subtyping & Universes. |
J. Autom. Reasoning |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Luo, Zhaohui Luo |
Coherence and Transitivity in Coercive Subtyping. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo, Sergei Soloviev |
Dependent Coercions. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo |
Coercive Subtyping. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Callaghan, Zhaohui Luo |
Implementation Techniques for Inductive Types in Plastic. |
TYPES |
1999 |
DBLP DOI BibTeX RDF |
inductive types, LF implementation, type theory |
| 1 | Zhaohui Luo, Paul Callaghan |
Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language. |
LACL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Shenwei Yu, Zhaohui Luo |
Implementing a Model Checker for LEGO. |
FME |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex P. Jones, Zhaohui Luo, Sergei Soloviev |
Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. |
TYPES |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Shiu, Zhaohui Luo, Roberto Garigliano |
Type Theoretic Semantics for SemNet. |
FAPR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo |
Coercive Subtyping in Type Theory. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo |
Program Specification and Data Refinement in Type Theory. |
Mathematical Structures in Computer Science |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo |
A Unifying Theory of Dependent Types: The Schematic Approach. |
LFCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo |
A Higher-Order Calculus and Theory Abstraction |
Inf. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo |
Program Specification and Data Refinement in Type Theory. |
TAPSOFT, Vol.1 |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhaohui Luo |
ECC, an Extended Calculus of Constructions |
LICS |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")