Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Generalised Proof-Nets for Compact Categories with Biproducts - MaRDI portal

Generalised Proof-Nets for Compact Categories with Biproducts

From MaRDI portal

Publication:3560838

Jump to:navigation, search

zbMath1192.81062arXiv0903.5154MaRDI QIDQ3560838

Ross Duncan

Publication date: 14 May 2010

Full work available at URL: https://arxiv.org/abs/0903.5154

Mathematics Subject Classification ID

Quantum computation (81P68) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Other constructive mathematics (03F65) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Intuitionistic mathematics (03F55)

This page was built for publication: Generalised Proof-Nets for Compact Categories with Biproducts

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3560838&oldid=16956787"