Items by Pym, David
|Up a level|
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)
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.
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.
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.
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.
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., 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.