45 citations · 96 across the 11 of their papers we have counts for
1 paper · 1 filter
Jiri Adamek, Stefan Milius, Jiri Velebil
Higher-order recursion schemes are recursive equations defining new operations from given ones called "terminals". Every such recursion scheme is proved to have a least interpreted…