Robuta

https://arxiv.org/abs/0903.5154 [0903.5154] Generalised Proof-Nets for Compact Categories with Biproducts Abstract page for arXiv paper 0903.5154: Generalised Proof-Nets for Compact Categories with Biproducts generalised proof nets compact categories