Section: New Results

Characterization of programs based on embedding

Participant : Guillaume Bonfante.

So far, in the implicit complexity characterizations based on the ordering MPO developed in the team, we were using the subterm relation to compare values. In [21] , we have shown that the embedding relation is a generalization of these results.