Matches in DBpedia 2016-04 for { <http://doi.org/10.1023/a:1008254612284> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- a:1008254612284 doi "10.1023/A:1008254612284".
- a:1008254612284 first "Tijn".
- a:1008254612284 isCitedBy Pure_type_system.
- a:1008254612284 issue "3".
- a:1008254612284 journal "Journal of Logic, Language and Information".
- a:1008254612284 last "Borghuis".
- a:1008254612284 pages "265–296".
- a:1008254612284 title "Modal Pure Type Systems".
- a:1008254612284 volume "7".
- a:1008254612284 year "1998".