Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/j.tcs.2005.06.002> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- j.tcs.2005.06.002 author "Michael Abbott, Thorsten Altenkirch and Neil Ghani".
- j.tcs.2005.06.002 doi "10.1016/j.tcs.2005.06.002".
- j.tcs.2005.06.002 isCitedBy Container_(type_theory).
- j.tcs.2005.06.002 issue "1".
- j.tcs.2005.06.002 journal "Theoretical Computer Science".
- j.tcs.2005.06.002 pages "3–27".
- j.tcs.2005.06.002 title "Containers: Constructing strictly positive types".
- j.tcs.2005.06.002 volume "342".
- j.tcs.2005.06.002 year "2005".