2 citations · 2 across the 1 of their papers we have counts for
1 paper
Guillaume Bonfante
We propose to consider non confluence with respect to implicit complexity. We come back to some well known classes of first-order functional program, for which we have a characteri…