PLATA CESAR, NELY; MARCIAL ROMERO, JOSE RAYMUNDO; Hernández Servín, José Antonio
(IEEE, 2021-01-01)
We present an extension of the denotational semantic model of the quantum programming language QML, to which computational reversibility is incorporated. The semantics of QML is defined in a functional setting which consider ...