Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/S0049-237X(08)70843-7> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- S0049-237X(08)70843-7 authorlink "Jean-Yves Girard".
- S0049-237X(08)70843-7 booktitle "Proceedings of the Second Scandinavian Logic Symposium".
- S0049-237X(08)70843-7 date "1971".
- S0049-237X(08)70843-7 doi "10.1016/S0049-237X70843-7".
- S0049-237X(08)70843-7 first "Jean-Yves".
- S0049-237X(08)70843-7 isCitedBy Parametric_polymorphism.
- S0049-237X(08)70843-7 isCitedBy System_F.
- S0049-237X(08)70843-7 language "French".
- S0049-237X(08)70843-7 last "Girard".
- S0049-237X(08)70843-7 location "Amsterdam".
- S0049-237X(08)70843-7 pages "63–92".
- S0049-237X(08)70843-7 ref "harv".
- S0049-237X(08)70843-7 title "Une Extension de l'Interpretation de Gödel à l'Analyse, et son Application à l'Élimination des Coupures dans l'Analyse et la Théorie des Types".
- S0049-237X(08)70843-7 year "1971".