1. A categorical semantics of quantum protocols;Abramsky,2004
2. A categorical semantics of quantum protocols;Abramsky,2009
3. Algebraic Approaches to Program Semantics;Arbib,1986
4. Toposes, Triples and Theories;Barr,1985
5. A hierarchy of probabilistic system types;Bartels;Theoret. Comput. Sci.,2004