| 2008 | ||
|---|---|---|
| 5 | EE | Robin Adams: Lambda-Free Logical Frameworks CoRR abs/0804.1879: (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] |