1. Current project: Working title, ‘The philosophy, politics, and economics of security and privacy’.

  2. M. Collinson, B. Monahan, and D. Pym. A Discipline of Mathematical Systems Modelling. London: College Publications, 2012. Buy at Amazon.

  3. D. Pym and E. Ritter. Reductive logic: proof theory, semantics, and control. Oxford University Press Oxford Logic Guides 45, 2004. Errata and Remarks.

  4. David J. Pym. The Semantics and Proof Theory of the Logic of Bunched Implications, together with its Errata and Remarks (also here), published by Springer. This grew out of some early notes and has lots of bugs. It is of historical interest only. Please refer to later papers for BI’s theory.