12 citations · 17 across the 11 of their papers we have counts for
1 paper · 2 filters
Naohi Eguchi
The general form of safe recursion (or ramified recurrence) can be expressed by an infinite graph rewrite system including unfolding graph rewrite rules introduced by Dal Lago, Mar…