The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David J. Pym: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David J. Pym, Lincoln A. Wallen
    Logic Programming via Proof-valued Computations. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1992, pp:253-262 [Conf]
  2. James Harland, David J. Pym, Michael Winikoff
    Programming in Lygon: An Overview. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:391-405 [Conf]
  3. James Harland, David J. Pym, Michael Winikoff
    Programming in Lygon: A System Demonstration. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:599- [Conf]
  4. Pablo A. Armelín, David J. Pym
    Bunched Logic Programming. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:289-304 [Conf]
  5. James Harland, David J. Pym
    Resource-Distribution via Boolean Constraint (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:222-236 [Conf]
  6. David J. Pym, Lincoln A. Wallen
    Investigations into Proof-Search in a System of First-Order Dependent Function Types. [Citation Graph (0, 0)][DBLP]
    CADE, 1990, pp:236-250 [Conf]
  7. Eike Ritter, David J. Pym, Lincoln A. Wallen
    Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:17-31 [Conf]
  8. Matthew Collinson, David J. Pym, Edmund Robinson
    On Bunched Polymorphism. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:36-50 [Conf]
  9. Didier Galmiche, Daniel Méry, David J. Pym
    Resource Tableaux. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:183-199 [Conf]
  10. Samin S. Ishtiaq, David J. Pym
    Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:235-249 [Conf]
  11. David J. Pym, Eike Ritter
    A games semantics for reductive logic and proof-search. [Citation Graph (0, 0)][DBLP]
    GALOP, 2005, pp:107-123 [Conf]
  12. Carsten Führmann, David J. Pym
    On the Geometry of Interaction for Classical Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 2004, pp:211-220 [Conf]
  13. David J. Pym
    On Bunched Predicate Logic. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:183-192 [Conf]
  14. James Harland, David J. Pym
    On Resolution in Fragments of Classical Linear Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:30-41 [Conf]
  15. James Harland, David J. Pym
    The Uniform Proof-Theoretic Foundation of Linear Logic Programming. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:304-318 [Conf]
  16. James Harland, David J. Pym, Michael Winikoff
    Programming in Lygon: A Brief Overview. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:636- [Conf]
  17. Eike Ritter, David J. Pym, Lincoln A. Wallen
    On the Intuitionistic Force of Classical Search (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:295-311 [Conf]
  18. Peter W. O'Hearn, David J. Pym
    The logic of bunched implications. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1999, v:5, n:2, pp:215-244 [Journal]
  19. James Harland, David J. Pym
    Resource-distribution via Boolean constraints [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  20. David J. Pym
    Logic Programming with Bunched Implications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:17, n:, pp:- [Journal]
  21. David J. Pym
    Notes Towards a Semantics for Proof-search. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal]
  22. Matthew Collinson, David J. Pym
    Bunching for Regions and Locations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:171-197 [Journal]
  23. James Harland, David J. Pym, Michael Winikoff
    Forward and Backward Chaining in Linear Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:37, n:, pp:- [Journal]
  24. David J. Pym, Chris M. N. Tofts
    Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:545-587 [Journal]
  25. David J. Pym, Chris M. N. Tofts
    A Calculus and logic of resources and processes. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:4, pp:495-517 [Journal]
  26. David J. Pym
    A Unification Algorithm for the lambda-Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1992, v:3, n:3, pp:333-378 [Journal]
  27. David J. Pym
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:5, pp:633-638 [Journal]
  28. David J. Pym
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:6, pp:819- [Journal]
  29. Samin S. Ishtiaq, David J. Pym
    Kripke Resource Models of a Dependently-typed, Bunched [lgr]-calculus. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:6, pp:1061-1104 [Journal]
  30. Samin S. Ishtiaq, David J. Pym
    A Relevant Analysis of Natural Deduction. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:6, pp:809-838 [Journal]
  31. David J. Pym
    Forthcoming Papers. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2003, v:13, n:5, pp:799-800 [Journal]
  32. David J. Pym
    Editorial. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2006, v:16, n:1, pp:1-3 [Journal]
  33. David J. Pym, James Harland
    A Uniform Proof-Theoretic Investigation of Linear Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:2, pp:175-207 [Journal]
  34. Eike Ritter, David J. Pym, Lincoln A. Wallen
    Proof-terms for classical and intuitionistic resolution. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:2, pp:173-207 [Journal]
  35. David J. Pym
    A note on the proof theory of the lambda-II-calculus. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:54, n:2, pp:199-230 [Journal]
  36. Didier Galmiche, David J. Pym
    Proof-search in type-theoretic languages: an introduction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:232, n:1-2, pp:5-53 [Journal]
  37. David J. Pym, Peter W. O'Hearn, Hongseok Yang
    Possible worlds and resources: the semantics of BI. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:315, n:1, pp:257-305 [Journal]
  38. Eike Ritter, David J. Pym, Lincoln A. Wallen
    On the intuitionistic force of classical search. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:232, n:1-2, pp:299-333 [Journal]
  39. James Harland, David J. Pym
    Resource-distribution via Boolean constraints. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2003, v:4, n:1, pp:56-90 [Journal]
  40. Guy McCusker, David Pym
    A Games Model of Bunched Implications. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:573-588 [Conf]

  41. Investments and Trade-offs in the Economics of Information Security. [Citation Graph (, )][DBLP]


Search in 0.216secs, Finished in 0.218secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002