Samson Abramsky
Urs Schreiber
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...