Benoît Valiron (Philadelphia, US)

(joint work with Michele Pagani and Peter Selinger)

Toward duplication in denotational semantics of quantum computation.

If denotational semantics of strictly linear quantum computation is relatively well understood using the category CPM of completely positive maps, the relation between duplicable and non-duplicable data is yet to be analyzed. In this talk I will present an approach for understanding duplicable objects in quantum computation. The technique I will present extends the well-known category CPM using the general constructions of the exponential "!" that is used in relational models of linear logic.