Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
The Semantics and Proof Theory of the Logic of Bunched Implications | David J. Pym | This monograph provides a thorough account of the model theory, proof theory and computational interpretations of BI, the logic of bunched implications, which freely combines intuitionistic logic and… | OL19901483W |