 | 2011 |
|---|
| 13 |       | Robin Adams,
Zhaohui Luo:
A pluralist approach to the formalisation of mathematics.
Mathematical Structures in Computer Science 21(4): 913-942 (2011) |
| 2010 |
|---|
| 12 | | Robin Adams,
Tiago Forin,
Saranya Srinivasan,
Llewellyn Mann:
Cross-disciplinary practice in engineering contexts: a developmental phenomenographical perspective.
ICLS (1) 2010: 1158-1165 |
| 11 | | Robin Adams,
Zhaohui Luo:
Weyl's predicative classical mathematics as a logic-enriched type theory.
ACM Trans. Comput. Log. 11(2): (2010) |
| 10 | | Robin Adams,
Zhaohui Luo:
Classical predicative logic-enriched type theories.
Ann. Pure Appl. Logic 161(11): 1315-1345 (2010) |
| 2009 |
|---|
| 9 | | Robin Adams:
Coercive subtyping in lambda-free logical frameworks.
LFMTP 2009: 30-39 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page