Refinement orders for quantum programs
Este artículo presenta el primer estudio exhaustivo de órdenes de refinamiento para programas cuánticos deterministas y no deterministas bajo criterios de corrección total y parcial, estableciendo correspondencias precisas entre diferentes clases de predicados cuánticos (proyectores, efectos y conjuntos de efectos) y órdenes matemáticos como la relación de positividad completa, el span lineal de operadores de Kraus y los órdenes de Smyth y Hoare.