Participants : Claus Hintermeier, Claude Kirchner, Hélène Kirchner
L'étude de la déduction avec sortes ordonnées se poursuit dans l'équipe depuis plusieurs années et s'est concrétisée par la thèse de C. Hintermeier [4]. Cette thèse présente l'ensemble des résultats suivants.