| 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 |
