Participant : Benjamin Werner
B. Werner a commencé l'investigation métathéorique des Systèmes de Types Purs (PTS). Le but est de simplifier la souvent fastidieuse preuve de normalisation de ces systèmes et de clarifier le statut des différentes classes de termes dans ces systèmes. En collaboration avec P.A. Melliès du projet Para, il a proposé un premier critère caractérisant une classe de PTS fortement normalisables, ainsi qu'une preuve générique de normalisation [32].