Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/0890-5401(88)90005-3> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 0890-5401(88)90005-3 authorlink1 "Thierry Coquand".
- 0890-5401(88)90005-3 authorlink2 "Jean-Yves Girard".
- 0890-5401(88)90005-3 date "1988".
- 0890-5401(88)90005-3 doi "10.1016/0890-540190005-3".
- 0890-5401(88)90005-3 first1 "Thierry".
- 0890-5401(88)90005-3 first2 "Gérard".
- 0890-5401(88)90005-3 isCitedBy Calculus_of_constructions.
- 0890-5401(88)90005-3 issue "2–3".
- 0890-5401(88)90005-3 journal "Information and Computation".
- 0890-5401(88)90005-3 last1 "Coquand".
- 0890-5401(88)90005-3 last2 "Huet".
- 0890-5401(88)90005-3 pages "95–120".
- 0890-5401(88)90005-3 title "The Calculus of Constructions".
- 0890-5401(88)90005-3 volume "76".