D
David J. Pym
6 works on record
Works

Economics of information security and privacy

The Semantics and Proof Theory of the Logic of Bunched Implications

The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)

Reductive logic and proof-search
Proofs, Search and Computation in General Logic
Proofs, Search and Computation in General Logic
Errata and remarks
Errata and remarks