A diagrammatic approach to networks of spans and relations
In this thesis we exhibit nondeterministic semantics for various classes of circuits. Motivated initially by quantum circuits, we also give nondeterministic semantics for circuits for classical mechanical systems and Boolean algebra. More formally, we interpret these classes of circuits in terms of...
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Diplomová práce |
| Jazyk: | English |
| Vydáno: |
2023
|
| Témata: |