Participant : Dominique Larchey
D. Larchey s'est intéressé à l'étude des principes de récurrence pour les algèbres initiales. Ceci l'a amené à répondre partiellement à un problème ouvert sur la relation entre le principe de récurrence unaire habituel et le principe de récurrence binaire. En utilisant des notions issues de la paramétricité, il a montré le principe unaire pour un sous ensemble des types polymorphes comprenant les types de données habituels [23].