Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-642-03153-3_2> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- 978-3-642-03153-3_2 accessdate "2015-06-08".
- 978-3-642-03153-3_2 date "2009".
- 978-3-642-03153-3_2 doi "10.1007/978-3-642-03153-3_2".
- 978-3-642-03153-3_2 first1 "Ana".
- 978-3-642-03153-3_2 first2 "Peter".
- 978-3-642-03153-3_2 isCitedBy First-class_citizen.
- 978-3-642-03153-3_2 journal "Language Engineering and Rigorous Software Development".
- 978-3-642-03153-3_2 last1 "Bove".
- 978-3-642-03153-3_2 last2 "Dybjer".
- 978-3-642-03153-3_2 pages "57–99".
- 978-3-642-03153-3_2 title "Dependent Types at Work".
- 978-3-642-03153-3_2 url "http://www.cse.chalmers.se/~peterd/papers/DependentTypesAtWork.pdf".
- 978-3-642-03153-3_2 volume "5520".