6 citations · 6 across the 1 of their papers we have counts for
1 paper
Ernesto Copello, Nora Szasz, Álvaro Tasistro
We introduce a universe of regular datatypes with variable binding information, for which we define generic formation and elimination (i.e. induction /recursion) operators. We then…