Current drafts

  1. David Pym. Resource semantics: logic as a modelling technology. ACM SIGLOG News, April 2019, Vol. 6, No. 2, 5--41. Manuscript.

  2. David Pym. Reductive logic & proof-theoretic semantics: a coalgebraic perspective. To appear: Proc. Proof-theoretic Semantics: Assessment and Future Perspectives, P. Schröder-Heister and T. Piecha (editors), Third Tübingen Conference on Proof-theoretic Semantics, 27-30 March 2019. Manuscript.

  3. Simon Docherty and David Pym. Resource Reasoning in Duality-theoretic Form: Stone-type Dualities for Bunched and Separation Logics. Proc. Topology, Algebra and Categories in Logic (TACL) 2019. Manuscript.

  4. David Pym. The Origins of Cyberspace. To appear: The Oxford Handbook of Cybersecurity, P. Cornish (editor). Manuscript.

  5. Thomas Cattermole, Simon Docherty, David Pym, and Angela Sasse. Asset-oriented access control through object-oriented principles. Manuscript.

  6. Simon Docherty and David Pym. STONE-TYPE DUALITIES FOR SEPARATION LOGICS. To appear: Logical Methods in Computer Science. Manuscript.

  7. Simon Docherty and David Pym. Intuitionistic Layered Graph Logics: Semantics and Proof Theory. To appear: Logical Methods in Computer Science. Manuscript.

  8. Jonathan Spring and David Pym. Towards Scientific Incident Analysis. To appear, Proc. GameSec 2018, LNCS. Manuscript.

  9. Tristan Caulfield, Christos Ioannidis, and David Pym. Dynamic Pricing for Ransomware. Working draft: Manuscript.

  10. Didier Galmiche, Pierre Kimmel, and David Pym. A Substructural Epistemic Resource Logic: Theory and Modelling Applications. Working draft: Manuscript.

  11. Simon Docherty and David Pym. Modular Tableaux Calculi for Separation Theories. To appear: Proc. FOSSACS 2018. Manuscript.

  12. Jonathan Spring, Tyler Moore, and David Pym. Practicing a Science of Security: A Philosophy of Science Perspective. To appear NSPW ’17, Oct 1–4, 2017, Santa Cruz, California, USA. ACM, 2017. Manuscript.

  13. David Pym, Jonathan Spring, and Peter O’Hearn. Why Separation Logic Works. Philos. Technol. (2018). Manuscript.