Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/s1571-0661(05)80170-7> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- s1571-0661(05)80170-7 author "G. Barthe".
- s1571-0661(05)80170-7 author2 "J. Hatcliff".
- s1571-0661(05)80170-7 author3 "M. H. Sørensen".
- s1571-0661(05)80170-7 doi "10.1016/S1571-066180170-7".
- s1571-0661(05)80170-7 isCitedBy Pure_type_system.
- s1571-0661(05)80170-7 journal "Electronic Notes in Theoretical Computer Science".
- s1571-0661(05)80170-7 pages "4–59".
- s1571-0661(05)80170-7 title "A Notion of Classical Pure Type System".
- s1571-0661(05)80170-7 volume "6".
- s1571-0661(05)80170-7 year "1997".