### 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.

BSD License### Topics

- Computer science/Algorithms/Quantum computing
- Computer science/Programming languages/Logics
- Computer science/Semantics and reasoning

### Theories of Registers

- Axioms
- Laws
- Axioms_Complement
- Laws_Complement
- Axioms_Classical
- Laws_Classical
- Misc
- Classical_Extra
- Finite_Tensor_Product
- Axioms_Quantum
- Laws_Quantum
- Quantum
- Quantum_Extra
- QHoare
- Finite_Tensor_Product_Matrices
- Teleport
- Axioms_Complement_Quantum
- Laws_Complement_Quantum
- Quantum_Extra2
- Pure_States
- Check_Autogenerated_Files