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

by J-Y Girard
Venue:In Proceedings of the Second Scandinavian Logic Symposium, edited by J.E. Fenstad