Howard Barnum Ross Duncan Alexander Wilce Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models. 501-523 2013 42 J. Philos. Log. 3 https://doi.org/10.1007/s10992-013-9280-8 https://www.wikidata.org/entity/Q62117287 db/journals/jphil/jphil42.html#BarnumDW13