Une preuve directe du Th'eor`eme d'Ultime Obstination, Comptes Rendus de l'Academie des Sciences (1992)

by T Coquand
Venue:Sc., 314, Serie I