Skip to main content

A Generalized Algebraic Theory of Directed Equality

PhD thesis by Jacob Neumann, University of Nottingham, 2025