Refinement orders for quantum programs
تقدم هذه الورقة أول دراسة شاملة لتراتيب الصقل لكل من البرامج الكمومية الحتمية وغير الحتمية، حيث تُثبت وجود تقابلات دقيقة بين مختلف فئات المحمولات الكمومية (المساقط، والمؤثرات، ومجموعات المؤثرات) والتراتيب الرياضية أو التراتيب النظرية للمجال القياسية تحت معايير الصحة الكلية والجزئية.