Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb authorLink "Jean-Yves Girard".
- 03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb first "Jean-Yves".
- 03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb isCitedBy Parametric_polymorphism.
- 03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb isCitedBy System_F.
- 03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb language "French".
- 03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb last "Girard".
- 03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb publisher "Université Paris 7".
- 03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb ref "harv".
- 03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb title "Interprétation fonctionnelle et élimination des coupures de l’arithmétique d’ordre supérieur".
- 03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb type "Ph.D. thesis".
- 03337985569cb2935011e8f2cd199d0d41f282799105b4a60d80a8135c89ebcb year "1972".