1 citations · 1 across the 1 of their papers we have counts for
1 paper
Joseph Razavi, Andrea Schalk
Based on Gandy's principles for models of computation we give category-theoretic axioms describing locally deterministic updates to finite objects. Rather than fixing a particular…