A First Step to the Categorical Logic of Quantum Programs

A First Step to the Categorical Logic of Quantum Programs

The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols. In this paper we introduce the basic idea of our categorical logic of quantum programs (CLQP): It combines the logic of quantum programming (LQP) an...

Full description

Bibliographic Details
Main Authors: Xin Sun, Feifei He
Format: Article
Language:English
Published: MDPI AG 2020-01-01
Series:Entropy
Subjects:
quantum logic
quantum computing
category theory
Online Access:https://www.mdpi.com/1099-4300/22/2/144

Internet

https://www.mdpi.com/1099-4300/22/2/144

Similar Items