David J. Pym
Books
- Economics of information security and privacy
- Errata and remarks
- The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)
- The Semantics and Proof Theory of the Logic of Bunched Implications
- Reductive logic and proof-search
- Proofs, Search and Computation in General Logic
- The semantics and proof theory of the logic of bunched implications
Author data: Open Library