Concepedia

David Pym

DP

41

Publications

1.7K

Citations

22

H-Index

1991

Active since

Affiliations

University College London(Current)

University of Bath

Hewlett-Packard (United Kingdom)

Hewlett-Packard (United States)

Queen Mary University of London

David Pym is an author at University College London specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationInformation SecuritySemanticsSystems EngineeringBusinessSecurity

Publications per year

1991–2019

41

Publications

41

The Logic of Bunched Implications

Peter W. O’Hearn, David Pym · Bulletin of Symbolic Logic · 1999 · 468 citations

Intuitionistic Logic, Paraconsistent Logic, Engineering +16

Possible worlds and resources: the semantics of BI

David Pym, Peter W. O’Hearn, Hongseok Yang · Theoretical Computer Science · 2003 · 149 citations

Formal Semantics, Philosophy Of Language, Knowledge Management +7

The semantics of BI and resource tableaux

Didier Galmiche, Dominique Méry, David Pym · Mathematical Structures in Computer Science · 2005 · 100 citations

A Uniform Proof-theoretic Investigation of Linear Logic Programming

David Pym, James Harland · Journal of Logic and Computation · 1994 · 68 citations

Mathematical Programming, Logic Programming Languages, Logic Programming Language +14

Algebra and logic for resource-based systems modelling

Matthew Collinson, David Pym · Mathematical Structures in Computer Science · 2009 · 62 citations

Model-based System Engineering, Engineering, Resource-based Systems +15

Rows per page

1–5 of 41