Une extension de l'interpretation fonctionelle de Godel a l'analyse et son application a l'elimination des coupures dans l'analyse et la theorie des types (1971)

by J-Y Girard
Venue:Proceedings, 2nd Scandinavian Logic Symp. (North-Holland