Skip to content
<title>Channels - Stone-Type Dualities for Separation Logics :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Stone-Type Dualities for Separation Logics
Search for more channels:
Similar Items: Stone-Type Dualities for Separation Logics
Channel Options
View Record
Explore related channels
Quick Look
Extended Stone Duality via Monoidal Adjunctions
Quick Look
Separability in the Ambient Logic
Quick Look
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Quick Look
Independence and concurrent separation logic
Quick Look
Relational Parametricity and Separation Logic
Quick Look
Duality for powerset coalgebras
Quick Look
Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
Quick Look
Amortised Resource Analysis with Separation Logic
Quick Look
Covering and separation for logical fragments with modular predicates
Quick Look
Separating Regular Languages with First-Order Logic
Quick Look
Weak upper topologies and duality for cones
Quick Look
Permission-Based Separation Logic for Message-Passing Concurrency
Quick Look
Barriers in Concurrent Separation Logic: Now With Tool Support!
Quick Look
The Relationship Between Separation Logic and Implicit Dynamic Frames
Quick Look
Two for the Price of One: Lifting Separation Logic Assertions
Quick Look
Permission-Based Separation Logic for Multithreaded Java Programs
Quick Look
A Complete Axiomatisation for Quantifier-Free Separation Logic
Quick Look
A Coalgebraic Approach to Dualities for Neighborhood Frames
Quick Look
Linear Datalog and Bounded Path Duality of Relational Structures
Quick Look
Small Stone in Pool
Quick Look
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
Quick Look
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
Quick Look
A duality theoretic view on limits of finite structures: Extended version
Quick Look
Probability Logic for Harsanyi Type Spaces
Load more items
View Record
Prev
Explore related channels
Next
