The following pages link to The Logic of Bunched Implications (Q4262604):
Displaying 50 items.
- A proof-theoretic treatment of <i>λ</i>-reduction with cut-elimination: <i>λ</i>-calculus as a logic programming language (Q3011126) (← links)
- Matching Logic: An Alternative to Hoare/Floyd Logic (Q3067473) (← links)
- (Q3121529) (← links)
- A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
- An Alternative Direct Simulation of Minsky Machines into Classical Bunched Logics via Group Semantics (Q3178265) (← links)
- Completeness for a First-Order Abstract Separation Logic (Q3179309) (← links)
- Undecidability of Propositional Separation Logic and Its Neighbours (Q3189649) (← links)
- Automated Theorem Proving for Assertions in Separation Logic with All Connectives (Q3454118) (← links)
- A Modal BI Logic for Dynamic Resource Properties (Q3455841) (← links)
- Adjunct Elimination in Context Logic for Trees (Q3498442) (← links)
- Bunched polymorphism (Q3545274) (← links)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- Algebra and logic for resource-based systems modelling (Q3643362) (← links)
- On Model Checking Boolean BI (Q3644756) (← links)
- Nested Hoare Triples and Frame Rules for Higher-Order Store (Q3644765) (← links)
- On bunched typing (Q4461769) (← links)
- (Q4553286) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- Non-normal modalities in variants of linear logic (Q4586144) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- Two-dimensional linear algebra (Q4917040) (← links)
- Pseudo-commutative Monads (Q4917057) (← links)
- Term Sequent Logic (Q4982627) (← links)
- AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS (Q5044310) (← links)
- Bringing Order to the Separation Logic Jungle (Q5055998) (← links)
- On Temporal and Separation Logics (Q5079764) (← links)
- A fibrational framework for substructural and modal logics (Q5111322) (← links)
- Negative translations and normal modality (Q5111325) (← links)
- (Q5155678) (← links)
- Counting the Cost in the Picalculus (Extended Abstract) (Q5166616) (← links)
- A Substructural Epistemic Resource Logic (Q5224495) (← links)
- Convolution as a Unifying Concept (Q5277916) (← links)
- (Q5376651) (← links)
- Separation Logic Semantics for Communicating Processes (Q5415605) (← links)
- Maude as a Platform for Designing and Implementing Deep Inference Systems (Q5415654) (← links)
- Footprints in Local Reasoning (Q5458360) (← links)
- Completeness and Herbrand theorems for nominal logic (Q5477637) (← links)
- Separation Logic Tutorial (Q5504642) (← links)
- Separation Logic Contracts for a Java-Like Language with Fork/Join (Q5505424) (← links)
- (Q5875359) (← links)
- Program Verification with Separation Logic (Q5883571) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5918962) (← links)
- An auxiliary logic on trees: on the tower-hardness of logics featuring reachability and submodel reasoning (Q5925549) (← links)
- Semantical analysis of the logic of bunched implications (Q6115849) (← links)
- An epistemic separation logic with action models (Q6117141) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras (Q6151561) (← links)
- Bunched Fuzz: sensitivity for vector metrics (Q6535249) (← links)
