Graphical reasoning in compact closed categories for quantum computation

Lucas Dixon, Ross Duncan. Graphical reasoning in compact closed categories for quantum computation. Annals of Mathematics and Artificial Intelligence, 56(1):23-42, 2009. [doi]

Abstract

Abstract is missing.