Resource Interpretations, Bunched Implications and the alpha lambda-Calculus

P. O'Hearn
DOI: https://doi.org/10.1007/3-540-48959-2_19
1999-04-07
Abstract:
What problem does this paper attempt to address?