dphil

A dissertation on diagrammatic reasoning.

This is my doctoral thesis. Please feel free to comment: all feedback and questions are very welcome.

I can be contacted on brendan.fong@cs.ox.ac.uk.