Thesis
Pictures of processes
- Alternative title:
- automated graph rewriting for monoidal categories and applications to quantum computing
- Abstract:
-
This work is about diagrammatic languages, how they can be represented, and what they in turn can be used to represent. More specifically, it focuses on representations and applications of string diagrams. String diagrams are used to represent a collection of processes, depicted as "boxes" with multiple (typed) inputs and outputs, depicted as "wires". If we allow plugging input and output wires together, we can intuitively represent complex compositions of processes, formalised as morphism...
Expand abstract
Actions
Authors
Contributors
+ Coecke, B
Division:
MPLS
Department:
Computer Science
Role:
Supervisor
+ Abramsky, S
Division:
MPLS
Department:
Computer Science
Role:
Supervisor
Funding
+ Oxford Department of Computer Science, Oxford University Press
More from this funder
Funding agency for:
Kissinger, A
Bibliographic Details
- Publication date:
- 2011
- Type of award:
- DPhil
- Level of award:
- Doctoral
- Awarding institution:
- University of Oxford
Item Description
- Language:
- English
- Keywords:
- Subjects:
- UUID:
-
uuid:61fb3161-a353-48fc-8da2-6ce220cce6a2
- Local pid:
- ora:6452
- Deposit date:
- 2012-08-17
Related Items
Terms of use
- Copyright holder:
- Kissinger, A
- Copyright date:
- 2011
If you are the owner of this record, you can report an update to it here: Report update to this record