BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Pym:David_J=

Contributed to:

CSL 20072007
CSL 20052005
LICS 20042004
CSL 20022002
IJCAR 20012001
CSL 19991999
LICS 19991999
CADE 19971997
CADE 19961996
ILPS 19951995
ILPS 19911991
CADE 19901990
IJCAR 20162016

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.