The SCEAS System
Navigation Menu

Search the dblp DataBase


James McKinna: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002