作 者:Benno van den Berg ;Chris Heunen
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;95:21-25.doi:10.4204/EPTCS.95.3
出 版 社:Open Publishing Association
文 章 ID:83120434
作 者:Bob Coecke ;Chris Heunen
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;95:27-35.doi:10.4204/EPTCS.95.4
出 版 社:Open Publishing Association
文 章 ID:83120435
作 者:Chris Heunen ;Sergio Boixo
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;95:91-101.doi:10.4204/EPTCS.95.9
出 版 社:Open Publishing Association
文 章 ID:83120440
作 者:Chris Heunen
出 处:Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:9)2008
出 版 社:Technical University of Braunschweig
文 章 ID:47109815