Pym, David

1. Categorical Proof-Theoretic Semantics
   2023/02/17 by Pym, David, Ritter, Eike, Robinson, Edmund · 3 citations
   #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
2. Base-extension Semantics for S5 Modal Logic
   2024/03/28 by Eckhardt, Timo, Pym, David · 1 citation
   #FOS: Mathematics #Logic (math.LO)
3. A Substructural Epistemic Resource Logic: Theory and Modelling Applications
   2019/09/16 by Galmiche, Didier, Kimmel, Pierre, Pym, David · 1 citation
   #03B42 #03B47 #03B70 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
4. Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning
   2024/01/29 by Galmiche, Didier, Lang, Timo, Pym, David · 2 citations
   #68Q60 #F.3.0 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)