Institute Output

Homotopies in Multiway (Non-Deterministic) Rewriting Systems as n-Fold Categories

Xerxes D. Arsiwalla 2021-11-25 Xerxes D. Arsiwalla 2021-11-25

Homotopies in Multiway (Non-Deterministic) Rewriting Systems as n-Fold Categories

Xerxes D. Arsiwalla, Jonathan Gorard, Hatem Elshatlawy

Read More