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)
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.
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:13th International Conference, FC 2009, Accra Beach, Barbados, February 23-26, 2009. Revised selected papers. Berlin, Heidelberg: Springer, pp. 148-166. (Lecture Notes in Computer Science; 5628)
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.
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)
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.
Collinson, M. and Pym, D., 2009. Algebra and logic for resource-based systems modelling. Mathematical Structures in Computer Science, 19 (5), pp. 959-1027.
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.