A Generalized Algebraic Theory of Directed Equality

(jacobneu.phd)

2 points | by matt_d 5 hours ago ago