Projects
- University of Glasgow BSc (Hons) Final Year Project:
- Container Data Types and Their Properties:
Lobster: A (New) Logic for Rewrite StrategiesShoggoth - A Formal Foundation for Strategic Rewriting:- Informal document: View online
- Formal document: Paper
- A Study in Equality (ongoing):
- Necronomicon: the thesis (ongoing):