Institute Output

Ruliology: Linking Computation, Observers and Physical Law
Dean Rickles, Hatem Elshatlawy, Xerxes D. Arsiwalla

Homotopies in Multiway (Non-Deterministic) Rewriting Systems as n-Fold Categories
Xerxes D. Arsiwalla, Jonathan Gorard, Hatem Elshatlawy