De-linearizing linearity : projective quantum axiomatics from strong compact closure
<p>Elaborating on our joint work with Abramsky in [S. Abramsky, B. Coecke, B. (2004) A categorical semantics of quantum protocols. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LiCS&apos;04), IEEE Computer Science Press. Extended version including proofs a...
| Autor principal: | |
|---|---|
| Formato: | Journal article |
| Idioma: | English |
| Publicado em: |
Elsevier
2007
|
| Assuntos: |