Une extension de l’interpretation de Gödel 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:In 2nd Scandinavian Logic Symposium