Graph explorer

Research map

Explore the papers, people and topics connected to your research.

David Pym
Map detail
David Pym9 visible / 9 total nodes / 19 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Co-authorshipCo-authorshipCo-authorshipRelated contextWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalDavid PymADavid PymResearcherTowards an Inferentialist Account of Information Through Proof-theoretic SemanticsWTowards an Inferentiali...preprint / 2026Timo EckhardtATimo EckhardtResearcherMatthew CollinsonAMatthew CollinsonResearchermath.LOTmath.LO1661 worksArtificial IntelligenceTArtificial Intelligence22915 worksPomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene AlgebraWPomsets with Boxes: Pro...preprint / 2020Coalgebraic completeness-via-canonicity for distributive substructural logicsWCoalgebraic completenes...preprint / 2016Utility-based Decision-making in Distributed Systems ModellingWUtility-based Decision-...preprint / 2013
Person8 links

David Pym

Researcher