Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models

Howard Barnum, Ross Duncan, Alexander Wilce. Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models. J. Philosophical Logic, 42(3):501-523, 2013. [doi]

Abstract

Abstract is missing.