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

by J Girard
Venue:in 2nd Scandinavian Logic Symposium, JE Fenstad