%0 Journal Article %1 girard-candred %A Girard, J. Y. %B Proceedings of the second Scandinavian logic symposium %D 1971 %K imported %P 63-92 %T Une extension de l'interpretation de Godel a l'analyse, et son application a l'elimination des coupures dans l'analyse et la theorie des types %V 63

@article{girard-candred, added-at = {2010-08-25T08:47:38.000+0200}, author = {Girard, J. Y.}, biburl = {https://www.bibsonomy.org/bibtex/233167f1031c8b9ef7b91017272f3dda3/miguel.pagano}, booktitle = {{Proceedings of the second Scandinavian logic symposium}}, interhash = {ac3af1bed72df40bc077d5b362575249}, intrahash = {33167f1031c8b9ef7b91017272f3dda3}, keywords = {imported}, organization = {{North-Holland}}, pages = {63-92}, timestamp = {2010-08-25T08:47:42.000+0200}, title = {{Une extension de l{'}interpretation de Godel a l{'}analyse, et son application a l{'}elimination des coupures dans l{'}analyse et la theorie des types}}, volume = {{63}}, year = {{1971}} }