Operational semantics for a formal tensorial calculus (2004)

by P Arrighi, G Dowek
Venue:In Proceedings of the 2 nd International Workshop on Quantum Programming Languages