-
1
The compositional structure of multipartite quantum entanglement
Published 2010“…We identify those states, named Frobenius states, which canonically induce an algebraic structure, namely the structure of a commutative Frobenius algebra (CFA). …”
Journal article -
2
Picturing resources in concurrency
Published 2018“…In this thesis, we recognise them as a fundamental algebraic structure of concurrency and use them as an axiomatic framework. …”
Thesis -
3
Graphical calculi and their conjecture synthesis
Published 2020“…This work continues the exploration of graphical calculi, inside and outside of the quantum computing setting, by investigating the algebraic structures with which we label diagrams. The initial aim for this was Conjecture Synthesis; the algorithmic process of creating theorems. …”
Thesis -
4
Pictures of processes
Published 2011“…Notably, we illustrate how the algebraic structures induced by these operations correspond to the (partial) arithmetic operations of addition and multiplication on the complex projective line.…”
Thesis