Skip to main content
Journal Article

The semantics and proof theory of the logic of bunched implications

  • Pym D
Applied logic series ; v. 26 (2002) 1-7
N/ACitations
Citations of this article
14Readers
Mendeley users who have this article in their library.

Abstract

… -motivated computational perspectives, so beginning a mathematical theory of resources. … Moreover, assumptions without the prefix may be converted to have it, using linear logic's …

Author supplied keywords

Cite

CITATION STYLE

APA

Pym, D. J. (2002). The semantics and proof theory of the logic of bunched implications. Applied Logic Series ; v. 26, 1–7.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free