Generalised Proof−Nets for Compact Categories with Biproducts
Just as conventional functional programs may be understood as proofs in an intuitionistic logic, so quantum processes can also be viewed as proofs in a suitable logic. We describe such a logic, the logic of compact closed categories and biproducts, presented both as a sequent calculus and as a syste...
| Autor Principal: | |
|---|---|
| Formato: | Book section |
| Publicado: |
2009
|