Author： Selesnick S.A.
Publisher： Springer Publishing Company
ISSN： 0020-7748
Source： International Journal of Theoretical Physics, Vol.42, Iss.3, 2003-03, pp. : 383-426
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
In this paper we introduce a minimal formal intuitionistic propositional Gentzen sequent calculus for handling quantum types, quantum “storage” being introduced syntactically along the lines of Girard's
Related content
Foundation for Quantum Computing II
By Selesnick S.
International Journal of Theoretical Physics, Vol. 46, Iss. 4, 2007-04 ,pp. :
Access to resources
Recommend
Quantum computing with neutral atoms
By Briegel H.-J. Calarco T. Jaksch D. Cirac J. I. Zoller P.
Journal of Modern Optics, Vol. 47, Iss. 2-3, 2000-02 ,pp. :
Heisenberg's dog and quantum computing
By Bergou János A. Englert Berthold-Georg
Journal of Modern Optics, Vol. 45, Iss. 4, 1998-04 ,pp. :
Quantum chromodynamics with advanced computing
Journal of Physics: Conference Series , Vol. 125, Iss. 1, 2008-07 ,pp. :
Access to resources