Search the dblp DataBase

Publications of Author

1. Robin Adams
   A Modular Hierarchy of Logical Frameworks. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:1-16 [Conf]
   
2. Robin Adams
   Formalized Metatheory with Terms Represented by an Indexed Family of Types. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:1-16 [Conf]
   
3. Robin Adams
   Pure type systems with judgemental equality. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 2006, v:16, n:2, pp:219-246 [Journal]
   
4. Robin Adams, Zhaohui Luo
   Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory. [Citation Graph (0, 0)][DBLP]
   TYPES, 2006, pp:1-17 [Conf]
   
5. 
   Lambda-Free Logical Frameworks [Citation Graph (, )][DBLP]
   
   
6. 
   Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory [Citation Graph (, )][DBLP]
   
   
7. 
   Classical Predicative Logic-Enriched Type Theories [Citation Graph (, )][DBLP]