1. Quantales, observational logic, and process semantics;Abramsky;Math. Structures Comput. Sci.,1993
2. The closure of a class of colimits;Albert;J. Pure Appl. Algebra,1988
3. Epistemic actions as resources;Baltag;J. Logic Comput.,2007
4. Introduction to bicategories;Bénabou;Lecture Notes in Math.,1967
5. Automata and closed categories;Betti;Boll. Unicone Mat. Ital. B Serie V,1980