Results 1 
3 of
3
Quantum informationflow, concretely, abstractly
 PROC. QPL 2004
, 2004
"... These ‘lecture notes ’ are based on joint work with Samson Abramsky. I will survey and informally discuss the results of [3, 4, 5, 12, 13] in a pedestrian not too technical way. These include: • ‘The logic of entanglement’, that is, the identification and abstract axiomatization of the ‘quantum info ..."
Abstract

Cited by 10 (4 self)
 Add to MetaCart
These ‘lecture notes ’ are based on joint work with Samson Abramsky. I will survey and informally discuss the results of [3, 4, 5, 12, 13] in a pedestrian not too technical way. These include: • ‘The logic of entanglement’, that is, the identification and abstract axiomatization of the ‘quantum informationflow ’ which enables protocols such as quantum teleportation. 1 To this means we defined strongly compact closed categories which abstractly capture the behavioral properties of quantum entanglement. • ‘Postulates for an abstract quantum formalism ’ in which classical informationflow (e.g. token exchange) is part of the formalism. As an example, we provided a purely formal description of quantum teleportation and proved correctness in abstract generality. 2 In this formalism types reflect kinds, contra the essentially typeless von Neumann formalism [25]. Hence even concretely this formalism manifestly improves on the usual one. • ‘A highlevel approach to quantum informatics’. 3 Indeed, the above discussed work can be conceived as aiming to solve: von Neumann quantum formalism � highlevel language lowlevel language. I also provide a brief discussion on how classical and quantum uncertainty can be mixed in the above formalism (cf. density matrices). 4
Tensor universality, quantum information flow, Coecke’s theorem, and generalizations
 Unpublised
"... We show that Coecke’s compositionality theorem for quantum information flow follows by the universal property of tensor products from the case in which all relevant states are totally disentangled, for which the proof is almost trivial. With the same technique we deduce a PROP structure behind gener ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We show that Coecke’s compositionality theorem for quantum information flow follows by the universal property of tensor products from the case in which all relevant states are totally disentangled, for which the proof is almost trivial. With the same technique we deduce a PROP structure behind general multipartite quantum information processing and show that all such are equivalent to a canonical teleportationtype form. Some philosophical issues concerning quantum information are also touched upon. 1
unknown title
, 2006
"... Relational interpretation of the wave function and a possible way around Bell’s theorem ..."
Abstract
 Add to MetaCart
Relational interpretation of the wave function and a possible way around Bell’s theorem