Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories

8 points pizza | 1 comments | 04 Jul 25 22:35 UTC | HN request time: 0.234s | source