Items by Pym, David

2013

Ioannidis, C. and Pym, D., 2013. Fixed costs, investment rigidities, and risk aversion in information security: a utility-theoretic approach. In: Schneier, B., ed. Economics of Information Security and Privacy III. New York, NY: Springer New York, pp. 171-191.

2010

Moore, T., Pym, D. and Ioannidis, C., eds., 2010. Economics of Information Security and Privacy. New York: Springer.

2009

Collinson, M., Monahan, B. and Pym, D., 2009. A logical and computational theory of located resource. Journal of Logic and Computation, 19 (6), pp. 1207-1244.

Ioannidis, C., Pym, D. and Williams, J., 2009. Investments and Trade-offs in the Economics of Information Security. In: Dingledine, R. and Golle, P., eds. Financial Cryptography and Data Security: Proceedings of the 13th International Conference on Financial Cryptography and Data Security. Vol. 5628/2009. 5628 ed. Berlin, Heidelberg: Springer, pp. 148-166. (Lecture Notes in Computer Science)

Beautement, A., Coles, R., Griffin, J., Ioannidis, C., Monahan, B., Pym, D., Sasse, A. and Wonham, M., 2009. Modelling the human and technological costs and benefits of USB memory stick security. In: Johnson, M. E., ed. Managing Information Risk and the Economics of Security. Boston, MA: Springer US, pp. 141-163.

Collinson, M. and Pym, D., 2009. Algebra and logic for resource-based systems modelling. Mathematical Structures in Computer Science, 19 (5), pp. 959-1027.

2007

McCusker, G. and Pym, D., 2007. A games model of bunched implications. In: Duparc, J. and Henzinger, T. A., eds. Computer Science Logic: Proceedings of 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL. Vol. 4646. Berlin, Germany: Springer, pp. 573-588. (Lecture Notes in Computer Science)

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.