Thesis icon

Thesis

Reasoning with !-graphs

Abstract:

The aim of this thesis is to present an extension to the string graphs of Dixon, Duncan and Kissinger that allows the finite representation of certain infinite families of graphs and graph rewrite rules, and to demonstrate that a logic can be built on this to allow the formalisation of inductive proofs in the string diagrams of compact closed and traced symmetric monoidal categories.

String diagrams provide an intuitive method for reasoning about monoidal categories. However, this d...

Expand abstract

Actions


Authors


More by this author
Institution:
University of Oxford
Research group:
Quantum Computer Science
Oxford college:
Magdalen College
Department:
Mathematical,Physical & Life Sciences Division - Computer Science,Department of

Contributors

Role:
Supervisor
Role:
Supervisor
Publication date:
2013
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
Oxford University, UK
URN:
uuid:416c2e6d-2932-4220-8506-50e6b403b660
Local pid:
ora:8432

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP