### 12 papers:

- CSL-2015-BrotherstonV #logic
- Sub-classical Boolean Bunched Logics and the Meaning of Par (JB, JV), pp. 325–342.
- IFL-2013-LammelSV #haskell
- The 101haskell Chrestomathy: A Whole Bunch of Learnable λs (RL, TS, AV), p. 25.
- SAS-2007-Brotherston #induction #logic #reasoning
- Formalised Inductive Reasoning in the Logic of Bunched Implications (JB), pp. 87–103.
- 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.
- IJCAR-2001-ArmelinP #logic programming
- Bunched Logic Programming (PAA, DJP), pp. 289–304.
- ICSM-1999-MancoridisMCG #clustering #maintenance #named
- Bunch: A Clustering Tool for the Recovery and Maintenance of Software System Structures (SM, BSM, YFC, ERG), p. 50–?.
- FM-v1-1999-PaigeH #concurrent #object-oriented #realtime #specification
- Bunches for Object-Oriented, Concurrent, and Real-Time Specification (RFP, ECRH), pp. 530–550.
- 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.
- TLCA-1999-OHearn #λ-calculus
- Resource Interpretations, Bunched Implications and the αλ-Calculus (PWO), pp. 258–279.
- DAC-1974-Wang #algorithm #clustering
- A partitioning technique for LSI chips including a bunching algorithm (PTW), p. 91.