Accepted Papers
Identifying All Preorders on the Subdistribution Monad
Abstract Local Reasoning for Concurrent Libraries: Mind the Gap
On Continuous Nondeterminism and State Minimality
Towards a Quantum Domain Theory: Order-Enrichment and Fixpoints in W*-Algebras
QRB, QFS, and the Probabilistic Powerdomain
On a Categorical Framework for Coalgebraic Modal Logic
Strategies as Concurrent Processes
The Coinductive Resumption Monad
On Grainless Footprint Semantics for Shared-Memory Programs
The Total Maps of Turing Categories
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus
Adequacy and Complete Axiomatization for Timed Modal Logic
A Metric Analog of Stone Duality for Markov Processes
Coalgebraic Update Lenses
Canonicity of Groupoid Laws using Parametricity Theory