David Pym

Identifiers

• name variant David Pym 0.60 · backfill

Papers (5)

1. Towards an Inferentialist Account of Information Through Proof-theoretic Semantics math.LO · 2026 · author #3
2. Continuations and Completeness in Proof-theoretic Semantics math.LO · 2026 · author #2
3. Coalgebraic completeness-via-canonicity for distributive substructural logics cs.LO · 2015 · author #2
4. Utility-based Decision-making in Distributed Systems Modelling cs.LO · 2013 · author #3
5. Resource-distribution via Boolean constraints cs.LO · 2000 · author #2

Mentions

• 1508.04940 #2 · backfill · confidence 0.70 David Pym
• 1310.6405 #3 · backfill · confidence 0.70 David Pym
• 2605.05368 #3 · arxiv_oai · confidence 0.70 David Pym

Frequent Coauthors

• Matthew Collinson 2 shared papers
• Edmund Robinson 1 shared papers
• Eike Ritter 1 shared papers
• Fredrik Dahlqvist 1 shared papers
• Gabrielle Anderson 1 shared papers
• James Harland 1 shared papers
• Tao Gu 1 shared papers
• Timo Eckhardt 1 shared papers