Pages that link to "Item:Q2130585"

The following pages link to A stone-type duality theorem for separation logic via its underlying bunched logics (Q2130585):

Displaying 4 items.

• A categorical duality for algebras of partial functions (Q2031546) (← links)
• (Q5376651) (← links)
• Semantical analysis of the logic of bunched implications (Q6115849) (← links)
• Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)