Quantum and Classical Registers

 

Title: Quantum and Classical Registers
Author: Dominique Unruh
Submission date: 2021-10-28
Abstract: A formalization of the theory of quantum and classical registers as developed by (Unruh, Quantum and Classical Registers). In a nutshell, a register refers to a part of a larger memory or system that can be accessed independently. Registers can be constructed from other registers and several (compatible) registers can be composed. This formalization develops both the generic theory of registers as well as specific instantiations for classical and quantum registers.
BibTeX:
@article{Registers-AFP,
  author  = {Dominique Unruh},
  title   = {Quantum and Classical Registers},
  journal = {Archive of Formal Proofs},
  month   = oct,
  year    = 2021,
  note    = {\url{https://isa-afp.org/entries/Registers.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
License: BSD License
Depends on: Complex_Bounded_Operators
Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.