Une extension de l'interpr'etation de G"odel `a l'analyse et son application `a l'elimination de coupures dans l'analyse et la th'eorie des types (1971)

by J Y Girard
Venue:Proceedings of the