Get the latest tech news
A Generalized Algebraic Theory of Directed Equality
A Generalized Algebraic Theory of Directed Equality | A PhD thesis by Jacob Neumann
Summary of the content, explained at different levels of background knowledge.
Or read this on Hacker News