Le contenu constructif d’un principe local-global avec une application à la structure d’un module projectif de type fini

Henri Lombardi

Publications mathématiques de Besançon. Algèbre et théorie des nombres, no. 6 (1996) p. 1-33

Théorie constructive élémentaire des corps ordonnés

Henri Lombardi; Marie-France Roy

Publications mathématiques de Besançon. Algèbre et théorie des nombres, no. 3 (1991) p. 1-23