Samson Abramsky
On domain theory:
On quantum protocols in quantum information theory (such as quantum teleportation) formalized as string diagrams in the dagger-compact category of finite-dimensional Hilbert spaces (quantum information theory via dagger-compact categories):
Samson Abramsky, Bob Coecke, A categorical semantics of quantum protocols , Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS’04). IEEE Computer Science Press (2004) [arXiv:quant-ph/0402130]
Samson Abramsky, Bob Coecke, Categorical quantum mechanics, in Handbook of Quantum Logic and Quantum Structures, Elsevier (2008) [arXiv:0808.1023, ISBN:9780080931661, doi:10.1109/LICS.2004.1319636]
Survey in contrast to quantum logic:
On quantum logic as the linear logic internal language of symmetric monoidal categories:
On simplicial complexes treated in homotopy type theory:
Last revised on April 8, 2023 at 07:16:02. See the history of this page for a list of all contributions to it.