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.