20 citations
1 paper · 1 filter
Bob Coecke, Aleks Kissinger, Alex Merry +1
Graphical calculi for representing interacting quantum systems serve a number of purposes: compositionally, intuitive graphical reasoning, and a logical underpinning for automation…