Matches in DBpedia 2016-04 for { <http://doi.org/10.2307/2586554> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 2586554 date "June 2000".
- 2586554 doi "10.2307/2586554".
- 2586554 first "Peter".
- 2586554 isCitedBy Induction-recursion_(type_theory).
- 2586554 issue "2".
- 2586554 journal "Journal of Symbolic Logic".
- 2586554 last "Dybjer".
- 2586554 pages "525–549".
- 2586554 title "A general formulation of simultaneous inductive-recursive definitions in type theory".
- 2586554 url "http://www.cse.chalmers.se/~peterd/papers/Inductive_Recursive.pdf".
- 2586554 volume "65".