Typed Formulation of Classicality

Sanad Kadu, Nichloas LaRacuente, Amr Sabry

Keywords: quantum computation, reversible computation, information effects, measurement, effects, arrows, categorical semantics

Abstract: In summary, based on previous work in categorical quantum mechanics we describe a construction that leads to a hybrid quantum/classical language and study the approximate equality of programs (semantically corresponding to channels) of this language, leading to a notion of a fault tolerant equational theory.

Submission Number: 6