Items by Pym, David
|Up a level|
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. and Ritter, E., 2005. A games semantics for reductive logic and proof-search. In: ETAPS 05, 2005-04-01, Edinburgh.
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.
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., 2002. The Semantics and Proof Theory of the Logic of Bunched Implications. Kluwer Academic Publishers. (Applied Logic Series)
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.