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
Number of items: 20.

Book/s

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

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

Book Sections

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., 2002. Resource tableaux - (extended abstract). In: Computer Science Logic, Proceedings. Vol. 2471. , pp. 183-199. (Lecture Notes in Computer Science)

Articles

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.

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.

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.

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 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.

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.

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

Conference or Workshop Items

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

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., 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 Aug 20 19:34:02 2014 IST.