Structuring quantum effects: Superoperators as arrows (0)

by J Vizzotto, T Altenkirch, A Sabry
Venue:Mathematical Structures in Computer Science