Search the dblp DataBase

Publications of Author

1. Healfdene Goguen, Conor McBride, James McKinna
   Eliminating Dependent Pattern Matching. [Citation Graph (0, 0)][DBLP]
   Essays Dedicated to Joseph A. Goguen, 2006, pp:521-540 [Conf]
   
2. Stephane Lengrand, Roy Dyckhoff, James McKinna
   A Sequent Calculus for Type Theory. [Citation Graph (0, 0)][DBLP]
   CSL, 2006, pp:441-455 [Conf]
   
3. James McKinna, Rod M. Burstall
   Deliverables: A Categorial Approach to Program Development in Type Theory. [Citation Graph (0, 0)][DBLP]
   MFCS, 1993, pp:32-67 [Conf]
   
4. James McKinna
   Why dependent types matter. [Citation Graph (0, 0)][DBLP]
   POPL, 2006, pp:1- [Conf]
   
5. James McKinna, Robert Pollack
   Pure Type Systems Formalized. [Citation Graph (0, 0)][DBLP]
   TLCA, 1993, pp:289-305 [Conf]
   
6. L. S. van Benthem Jutting, James McKinna, Robert Pollack
   Checking Algorithms for Pure Type Systems. [Citation Graph (0, 0)][DBLP]
   TYPES, 1993, pp:19-61 [Conf]
   
7. Edwin Brady, Conor McBride, James McKinna
   Inductive Families Need Not Store Their Indices. [Citation Graph (0, 0)][DBLP]
   TYPES, 2003, pp:115-129 [Conf]
   
8. Conor McBride, Healfdene Goguen, James McKinna
   A Few Constructions on Constructors. [Citation Graph (0, 0)][DBLP]
   TYPES, 2004, pp:186-200 [Conf]
   
9. James McKinna, Robert Pollack
   Some Lambda Calculus and Type Theory Formalized. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1999, v:23, n:3-4, pp:373-409 [Journal]
   
10. Conor McBride, James McKinna
    The view from the left. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:1, pp:69-111 [Journal]
    
11. 
    Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle. [Citation Graph (, )][DBLP]
    
    
12. 
    Proviola: A Tool for Proof Re-animation. [Citation Graph (, )][DBLP]
    
    
13. 
    Domain Specific Languages (DSLs) for Network Protocols (Position Paper). [Citation Graph (, )][DBLP]
    
    
14. 
    A Logically Saturated Extension of . [Citation Graph (, )][DBLP]
    
    
15. 
    A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq. [Citation Graph (, )][DBLP]
    
    
16. 
    A Real Semantic Web for Mathematics Deserves a Real Semantics. [Citation Graph (, )][DBLP]
    
    
17. 
    Proviola: A Tool for Proof Re-animation [Citation Graph (, )][DBLP]