Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-45842-5_12> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 3-540-45842-5_12 contribution "Changing data structures in type theory: a study of natural numbers".
- 3-540-45842-5_12 doi "10.1007/3-540-45842-5_12".
- 3-540-45842-5_12 first1 "Nicolas".
- 3-540-45842-5_12 first2 "Yves".
- 3-540-45842-5_12 isCitedBy Unary_numeral_system.
- 3-540-45842-5_12 last1 "Magaud".
- 3-540-45842-5_12 last2 "Bertot".
- 3-540-45842-5_12 mr "2044538".
- 3-540-45842-5_12 pages "181–196".
- 3-540-45842-5_12 publisher "Springer, Berlin".
- 3-540-45842-5_12 series "Lecture Notes in Comput. Sci.".
- 3-540-45842-5_12 title "Types for proofs and programs".
- 3-540-45842-5_12 volume "2277".
- 3-540-45842-5_12 year "2002".