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...
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Thesis |
| 语言: | English |
| 出版: |
2023
|
| 主题: |