`Travelled to:`

1 × Australia

1 × Finland

1 × Spain

1 × Switzerland

2 × Italy

2 × United Kingdom

3 × USA

`Collaborated with:`

J.Harland L.A.Wallen G.McCusker C.Führmann P.A.Armelín S.S.Ishtiaq ∅ S.Docherty M.Collinson E.Robinson D.Galmiche D.Méry E.Ritter M.Winikoff

`Talks about:`

logic (5) bunch (5) resourc (3) program (3) proof (3) intuitionist (2) classic (2) depend (2) model (2) type (2)

## Person: David J. Pym

### DBLP: Pym:David_J=

### Contributed to:

### Wrote 13 papers:

- CSL-2007-McCuskerP #game studies
- A Games Model of Bunched Implications (GM, DJP), pp. 573–588.
- CSL-2005-CollinsonPR #morphism #on the #polymorphism
- On Bunched Polymorphism (MC, DJP, ER), pp. 36–50.
- LICS-2004-FuhrmannP #geometry #interactive #logic #on the
- On the Geometry of Interaction for Classical Logic (CF, DJP), pp. 211–220.
- CSL-2002-GalmicheMP
- Resource Tableaux (DG, DM, DJP), pp. 183–199.
- IJCAR-2001-ArmelinP #logic programming
- Bunched Logic Programming (PAA, DJP), pp. 289–304.
- CSL-1999-IshtiaqP #modelling #λ-calculus
- Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (SSI, DJP), pp. 235–249.
- LICS-1999-Pym #logic #on the
- On Bunched Predicate Logic (DJP), pp. 183–192.
- CADE-1997-HarlandP #constraints
- Resource-Distribution via Boolean Constraint (JH, DJP), pp. 222–236.
- CADE-1996-RitterPW
- Proof-Terms for Classical and Intuitionistic Resolution (ER, DJP, LAW), pp. 17–31.
- ILPS-1995-HarlandPW #overview #perspective #programming
- Programming in Lygon: A Brief Overview (JH, DJP, MW), p. 636.
- ISLP-1991-HarlandP #linear #logic programming
- The Uniform Proof-Theoretic Foundation of Linear Logic Programming (JH, DJP), pp. 304–318.
- CADE-1990-PymW #first-order
- Investigations into Proof-Search in a System of First-Order Dependent Function Types (DJP, LAW), pp. 236–250.
- IJCAR-2016-DochertyP #graph #logic
- Intuitionistic Layered Graph Logic (SD, DJP), pp. 469–486.