33 citations · 88 across the 9 of their papers we have counts for
1 paper · 1 filter
Andrei Popescu
We study nominal recursors from the literature on syntax with bindings and compare them with respect to expressiveness. The term "nominal" refers to the fact that these recursors o…