BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
logic (4)
implic (3)
calculus (2)
model (2)
resourc (2)

Stem bunch$ (all stems)

12 papers:

CSLCSL-2015-BrotherstonV #logic
Sub-classical Boolean Bunched Logics and the Meaning of Par (JB, JV), pp. 325–342.
IFLIFL-2013-LammelSV #haskell
The 101haskell Chrestomathy: A Whole Bunch of Learnable λs (RL, TS, AV), p. 25.
SASSAS-2007-Brotherston #induction #logic #reasoning
Formalised Inductive Reasoning in the Logic of Bunched Implications (JB), pp. 87–103.
CSLCSL-2007-McCuskerP #game studies
A Games Model of Bunched Implications (GM, DJP), pp. 573–588.
CSLCSL-2005-CollinsonPR #morphism #on the #polymorphism
On Bunched Polymorphism (MC, DJP, ER), pp. 36–50.
IJCARIJCAR-2001-ArmelinP #logic programming
Bunched Logic Programming (PAA, DJP), pp. 289–304.
ICSMEICSM-1999-MancoridisMCG #clustering #maintenance #named
Bunch: A Clustering Tool for the Recovery and Maintenance of Software System Structures (SM, BSM, YFC, ERG), p. 50–?.
FMFM-v1-1999-PaigeH #concurrent #object-oriented #realtime #specification
Bunches for Object-Oriented, Concurrent, and Real-Time Specification (RFP, ECRH), pp. 530–550.
CSLCSL-1999-IshtiaqP #modelling #λ-calculus
Kripke Resource Models of a Dependently-Typed, Bunched λ-Calculus (SSI, DJP), pp. 235–249.
LICSLICS-1999-Pym #logic #on the
On Bunched Predicate Logic (DJP), pp. 183–192.
TLCATLCA-1999-OHearn #λ-calculus
Resource Interpretations, Bunched Implications and the αλ-Calculus (PWO), pp. 258–279.
DACDAC-1974-Wang #algorithm #clustering
A partitioning technique for LSI chips including a bunching algorithm (PTW), p. 91.

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.