Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

David J. Pym | lit.salon

Author

David J. Pym

7 works

1993–2010 across 6 dated works

No biography is available yet.

Start with

Errata and remarks1993
The Semantics and Proof Theory of the Logic of Bunched Implications2002
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)2002
Reductive logic and proof-search: proof theory, semantics, and control2004
With Eike Ritter

Books

6 works

Featured (6)Featured (6)All (7)All (7)

Search booksSort books

Reductive logic and proof-search: proof theory, semantics, and control2004
With Eike Ritter
5 editions
shelves
0
reviews
0
lists
0
quotes
0
The Semantics and Proof Theory of the Logic of Bunched Implications2002
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Economics of information security and privacy2010
With Tyler Moore, C. Ioannidis
2 editions
shelves
0
reviews
0
lists
0
quotes
0
The semantics and proof theory of the logic of bunched implications2002
1 edition
shelves
0
reviews
0
lists
0
quotes
0
The Semantics and Proof Theory of the Logic of Bunched Implications (Applied Logic Series)2002
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Errata and remarks1993
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around David J. Pym.

The conversation is still open.

There is no public salon activity to show for David J. Pym yet.