Section: New Results

Resource analysis by quasi-interpretation

Participants : Guillaume Bonfante, Jean-Yves Marion.

In [15] , Guillaume Bonfante, Jean-Yves Marion and Jean-Yves Moyen show how quasi-interpretations can be used to deal with the resource analysis of first order functional programs. This work has been a root for several further development in implicit computational complexity.