- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 8 |      | Robin Adams, Zhaohui Luo: Classical Predicative Logic-Enriched Type Theories CoRR abs/0906.1726: (2009) |
| 2008 | ||
| 7 | | Robin Adams: Lambda-Free Logical Frameworks CoRR abs/0804.1879: (2008) |
| 6 | | Robin Adams, Zhaohui Luo: Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory CoRR abs/0809.2061: (2008) |
| 5 | | Zhaohui Luo, Robin Adams: Structural subtyping for inductive types with functorial equality rules. Mathematical Structures in Computer Science 18(5): 931-972 (2008) |
| 2006 | ||
| 4 | | Robin Adams, Zhaohui Luo: Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. TYPES 2006: 1-17 |
| 3 | | Robin Adams: Pure type systems with judgemental equality. J. Funct. Program. 16(2): 219-246 (2006) |
| 2004 | ||
| 2 | | Robin Adams: Formalized Metatheory with Terms Represented by an Indexed Family of Types. TYPES 2004: 1-16 |
| 2003 | ||
| 1 | | Robin Adams: A Modular Hierarchy of Logical Frameworks. TYPES 2003: 1-16 |
| 1 | Zhaohui Luo | [4] [5] [6] [8] |