| |
| 2008 | ||
|---|---|---|
| 7 | EE | Robin Adams: Lambda-Free Logical Frameworks CoRR abs/0804.1879: (2008) |
| 6 | EE | Robin Adams, Zhaohui Luo: Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory CoRR abs/0809.2061: (2008) |
| 5 | EE | 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 | EE | Robin Adams, Zhaohui Luo: Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. TYPES 2006: 1-17 |
| 3 | EE | Robin Adams: Pure type systems with judgemental equality. J. Funct. Program. 16(2): 219-246 (2006) |
| 2004 | ||
| 2 | EE | Robin Adams: Formalized Metatheory with Terms Represented by an Indexed Family of Types. TYPES 2004: 1-16 |
| 2003 | ||
| 1 | EE | Robin Adams: A Modular Hierarchy of Logical Frameworks. TYPES 2003: 1-16 |
| 1 | Zhaohui Luo | [4] [5] [6] |