Research

Items by Pym, David

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000
Number of items: 20.

2007

Fuhrmann, C. and Pym, D., 2007. On categorical models of classical logic and the Geometry of Interaction. Mathematical Structures in Computer Science, 17 (5), pp. 957-1027.

2006

Pym, D. and Tofts, C., 2006. A Calculus and Logic of Resources and Processes. Formal Aspects of Computing, 18 (4), pp. 495-517.

Pym, D. J. and Collinson, M., 2006. Bunching for regions and locations. Electronic Notes in Theoretical Computer Science

Fuhrmann, C. and Pym, D., 2006. Order-enriched categorical models of the classical sequent calculus. Journal of Pure and Applied Algebra, 204 (1), pp. 21-78.

Pym, D. J., 2006. Special issue: Semantics Corner and Selected papers of the Joint LICS- ICALP '04 Workshop - "Logics for resources, processes, and programs" - Volume 16, number 1, February 2006 - Editorial. Journal of Logic and Computation, 16 (1), pp. 1-3.

2005

Pym, D. J. and Ritter, E., 2005. A games semantics for reductive logic and proof-search. In: ETAPS 05, 2005-04-01, Edinburgh.

Collinson, M., Pym, D. and Robinson, E., 2005. On bunched polyrnorphism. In: Computer Science Logic, Proceedings. Vol. 3634. , pp. 36-50. (Lecture Notes in Computer Science)

Galmiche, D., Mery, D. and Pym, D., 2005. The semantics of BI and resource tableaux. Mathematical Structures in Computer Science, 15 (6), pp. 1033-1088.

2004

Pym, D. J., O'Hearn, P. W. and Yang, H., 2004. Possible worlds and resources: The semantics of BI. Theoretical Computer Science, 315 (1), pp. 257-305.

Pym, D. J. and Ritter, E., 2004. Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford: Clarendon Press.

2003

Pym, D. J. and Harland, J., 2003. Resource-distribution via Boolean constraints. ACM Transactions on Computational Logic, 4 (1), pp. 56-90.

Pym, D. J., 2003. Semantic Foundations of Proof-search. Journal of Logic and Computation, 13 (5), pp. 634-638.

2002

Ishtiaq, S. and Pym, D. J., 2002. Kripke resource models of a dependently-typed, bunched lambda-calculus. Journal of Logic and Computation, 12 (6), pp. 1061-1104.

Galmiche, D., Mery, D. and Pym, D., 2002. Resource tableaux - (extended abstract). In: Computer Science Logic, Proceedings. Vol. 2471. , pp. 183-199. (Lecture Notes in Computer Science)

Pym, D. J., 2002. The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Academic Publishers. (Applied Logic Series)

2001

Pym, D. J. and Armelin, P., 2001. Bunched Logic Programming. In: IJCAR 2001, 2001-01-01.

Pym, D. J., Winikoff, M. and Harland, J., 2001. Forward and Backward Chaining in Linear Logic. In: ENTCS 37, 2001-01-01.

Pym, D. J., 2001. Notes towards a semantics for Proof-Search. In: ENTCS 37, 2001-01-01.

Pym, D. J. and Ritter, E., 2001. On the semantics of classical disjunction. Journal of Pure and Applied Algebra, 159, pp. 315-338.

2000

Pym, D. J., 2000. On the Geometry of Interaction for Classical Logic. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04) - Volume 00, 2004-07-01, Turku.

This list was generated on Wed Oct 29 18:18:43 2014 GMT.