Participants : Daniel Briaud,Nicolas Hermann
L'unification est la résolution d'équations entre termes ; elle joue un rôle fondamental et jusqu'à présent on sait peu de chose sur sa complexité. Il est aussi intéressant de l'étendre à des termes fonctionnels, c'est le but de l'unification d'ordre supérieur.