Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: Registers


view this post on Zulip Email Gateway (Nov 07 2021 at 10:16):

From: Andreas Lochbihler <mail@andreas-lochbihler.de>
I'm happy to announce a new AFP entry by Dominique Unruh: Registers

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.

https://www.isa-afp.org/entries/Registers.html

Enjoy,
Andreas


Last updated: Mar 29 2024 at 12:28 UTC